Update test.yml

marcoeilers · Oct 4, 2021 · 25c0484 · 25c0484
1 parent 33704e0
commit 25c0484
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/.github/workflows/test.yml b/.github/workflows/test.yml
@@ -32,5 +32,6 @@ jobs:
         pip install .
     - name: Test with pytest
       run: |
+        dotnet tool install --global Boogie --version 2.4.21
         nagini --verifier=carbon tests/functional/verification/empty.py
         pytest src/nagini_translation/tests.py --silicon --carbon