aboutsummaryrefslogtreecommitdiffstats
path: root/.github
diff options
context:
space:
mode:
authorgatecat <gatecat@ds0.me>2021-08-15 15:13:31 +0100
committergatecat <gatecat@ds0.me>2021-08-15 15:13:31 +0100
commitf7be385230cbd6b6a030c8e159ac2cf175298c16 (patch)
tree7772088636b0fe20718df20e06ccec2733c786e1 /.github
parente7db15d6a4c9b1a36d87d7ab8a56d51f578ef82a (diff)
downloadnextpnr-f7be385230cbd6b6a030c8e159ac2cf175298c16.tar.gz
nextpnr-f7be385230cbd6b6a030c8e159ac2cf175298c16.tar.bz2
nextpnr-f7be385230cbd6b6a030c8e159ac2cf175298c16.zip
mistral: Include mistral generated files in include dirs
Signed-off-by: gatecat <gatecat@ds0.me>
Diffstat (limited to '.github')
-rw-r--r--.github/workflows/mistral_ci.yml2
1 files changed, 1 insertions, 1 deletions
diff --git a/.github/workflows/mistral_ci.yml b/.github/workflows/mistral_ci.yml
index bc000b46..ca3ceb11 100644
--- a/.github/workflows/mistral_ci.yml
+++ b/.github/workflows/mistral_ci.yml
@@ -21,7 +21,7 @@ jobs:
- name: Execute build nextpnr
env:
MISTRAL_PATH: ${{ github.workspace }}/deps/mistral
- MISTRAL_REVISION: f22b32366d5fed997130712002c8f8de40eb42fc
+ MISTRAL_REVISION: b5bd534444364688a57e4c0f99af1bb4037a495a
run: |
source ./.github/ci/build_mistral.sh
get_dependencies