diff options
author | gatecat <gatecat@ds0.me> | 2021-10-28 11:06:32 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2021-10-28 11:06:32 +0100 |
commit | 06d58e6eed90aa9c2d16d0fe6286ec59a2f880a2 (patch) | |
tree | acfda74458c92b61f2d5a308706fbd50af83f455 /.github/workflows | |
parent | 80a14592a0c4632462c61d1bd46835f2159f5ae9 (diff) | |
parent | d51c559ab8f3bd5de2e05031e8546462ffe02119 (diff) | |
download | nextpnr-06d58e6eed90aa9c2d16d0fe6286ec59a2f880a2.tar.gz nextpnr-06d58e6eed90aa9c2d16d0fe6286ec59a2f880a2.tar.bz2 nextpnr-06d58e6eed90aa9c2d16d0fe6286ec59a2f880a2.zip |
Merge pull request #855 from galibert/master
mistral: Sync with yet another reorganization
Diffstat (limited to '.github/workflows')
-rw-r--r-- | .github/workflows/mistral_ci.yml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/.github/workflows/mistral_ci.yml b/.github/workflows/mistral_ci.yml index eb097246..96900543 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: 98ec7f69bfd5ab77e608ccd47ede988b45a7d99b + MISTRAL_REVISION: ea9691a720cc5695eab2fc580172be5c9e592760 run: | source ./.github/ci/build_mistral.sh get_dependencies |