diff --git a/.github/workflows/set-up-environment.yml b/.github/workflows/set-up-environment.yml
index 1276755..982ca9c 100644
--- 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