env set

haslab · Jun 14, 2024 · bb86d6f · bb86d6f
1 parent d33985e
commit bb86d6f
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/.github/workflows/set-up-environment.yml b/.github/workflows/set-up-environment.yml
@@ -23,6 +23,7 @@ jobs:
         eval $(opam env)
         cp $(which alt-ergo) $(which alt-ergo)-2.4.2
         opam install alt-ergo.2.5.3
+        eval $(opam env)
         opam install eprover.2.6
         # it's possible to install z3 as follows
         # opam install z3.4.11.2