aboutsummaryrefslogtreecommitdiffstats
path: root/.github
diff options
context:
space:
mode:
authorOlivier Galibert <galibert@pobox.com>2021-10-17 19:11:37 +0200
committerOlivier Galibert <galibert@pobox.com>2021-10-17 19:12:26 +0200
commitd90de7f696bb9bdcaa5709e7626ec597767c0034 (patch)
treebb95ab23e8fcdc14b42040f12b19fb3d4924c441 /.github
parent60833abd3b466c36a8a355a68dfe67d196076ced (diff)
downloadnextpnr-d90de7f696bb9bdcaa5709e7626ec597767c0034.tar.gz
nextpnr-d90de7f696bb9bdcaa5709e7626ec597767c0034.tar.bz2
nextpnr-d90de7f696bb9bdcaa5709e7626ec597767c0034.zip
Sync mistral version in CI
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 ca3ceb11..e48b2d44 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: b5bd534444364688a57e4c0f99af1bb4037a495a
+ MISTRAL_REVISION: 8f78291541df10d70fde6c9c58765c437807c68d
run: |
source ./.github/ci/build_mistral.sh
get_dependencies