aboutsummaryrefslogtreecommitdiffstats
path: root/.github
diff options
context:
space:
mode:
authorOlivier Galibert <galibert@pobox.com>2022-01-18 15:12:45 +0100
committerOlivier Galibert <galibert@pobox.com>2022-01-18 15:12:45 +0100
commitb5fc788153bd011a4476946af5ccebde05fd2ad2 (patch)
tree55768cd41e7d152c0213d21dfa5618aeca797333 /.github
parent58a1b473b85ae8bc4312eed14af1829b93958341 (diff)
downloadnextpnr-b5fc788153bd011a4476946af5ccebde05fd2ad2.tar.gz
nextpnr-b5fc788153bd011a4476946af5ccebde05fd2ad2.tar.bz2
nextpnr-b5fc788153bd011a4476946af5ccebde05fd2ad2.zip
Sync with the current state of mistral
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 64300d78..0da633e6 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: e039b595529ab573d9cb01c64ef927f9d81d63ce
+ MISTRAL_REVISION: db29e403bede4d514fcf83948db9d4c05df07e96
run: |
source ./.github/ci/build_mistral.sh
get_dependencies