diff options
| author | gatecat <gatecat@ds0.me> | 2022-01-19 13:22:40 +0000 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-01-19 13:22:40 +0000 |
| commit | fbeef2b8c2734210a70e51a3ac629c2065c06d19 (patch) | |
| tree | 9f0aa005ecfbb5a22a14c377a3d663465639a5a7 /.github | |
| parent | 58a1b473b85ae8bc4312eed14af1829b93958341 (diff) | |
| parent | 27d38de612ce4109723704f863ac82a6cbddf10c (diff) | |
| download | nextpnr-fbeef2b8c2734210a70e51a3ac629c2065c06d19.tar.gz nextpnr-fbeef2b8c2734210a70e51a3ac629c2065c06d19.tar.bz2 nextpnr-fbeef2b8c2734210a70e51a3ac629c2065c06d19.zip | |
Merge pull request #895 from galibert/master
Sync with the current state of mistral
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 64300d78..a02026cf 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: 0c2ab2b2c6af33fea1c20349be2e0068366ed615 run: | source ./.github/ci/build_mistral.sh get_dependencies |