update why3 version

haslab · Jun 14, 2024 · 22d9c00 · 22d9c00
1 parent 1de139e
commit 22d9c00
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/set-up-environment.yml b/.github/workflows/set-up-environment.yml
@@ -18,7 +18,7 @@ jobs:
     - name: install tools with opam
       run: |
         opam update
-        opam install why3.1.6.0
+        opam install why3.1.7.2
         # install both alt-ergo 2.4.2 and alt-ergo 2.5.3
         opam install alt-ergo.2.4.2
         # install both eprover-2.6 and eprover-3.0