diff options
Diffstat (limited to '.github')
-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 a02026cf..408179b4 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: 0c2ab2b2c6af33fea1c20349be2e0068366ed615 + MISTRAL_REVISION: 6b0ce163d87200d0d5b7f330349aacf886f0f8be run: | source ./.github/ci/build_mistral.sh get_dependencies |