From df061b1a9c844f9f2d14b658edbaba190b8b8fe1 Mon Sep 17 00:00:00 2001 From: gatecat Date: Sat, 11 Dec 2021 19:07:30 +0000 Subject: mistral: Add 'tools' dir to include path Signed-off-by: gatecat --- .github/workflows/mistral_ci.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to '.github/workflows') diff --git a/.github/workflows/mistral_ci.yml b/.github/workflows/mistral_ci.yml index 96900543..afbb2ffd 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: ea9691a720cc5695eab2fc580172be5c9e592760 + MISTRAL_REVISION: ecd413421b3b559fc63db13da30275fcd5cd3881 run: | source ./.github/ci/build_mistral.sh get_dependencies -- cgit v1.2.3