Update Boogie version

marcoeilers · Jan 28, 2023 · 5e31e7a · 5e31e7a
1 parent 6edae35
commit 5e31e7a
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/test.yml b/.github/workflows/test.yml
@@ -19,7 +19,7 @@ jobs:
         python-version: 3.8
     - name: Install Boogie
       run: |
-        dotnet tool install --global Boogie --version 2.4.21
+        dotnet tool install --global Boogie --version 2.15.9
     - name: Install Nagini
       run: |
         python -m pip install --upgrade pip