Don't use the locked version on 4.10.1

Halbaroth · Jul 31, 2023 · 6fe638c · 6fe638c
1 parent 81cabf0
commit 6fe638c
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
@@ -45,7 +45,7 @@ jobs:
           dune-cache: true
 
       - name: Install dependencies
-        run: opam exec -- make test-deps
+        run: opam exec -- opam install -y . --deps-only --with-test
 
       - name: Build alt-ergo with opam
         run: opam exec -- opam reinstall .
@@ -107,7 +107,7 @@ jobs:
       - name: Run make install
         run: opam exec -- make install
 
-  reproducible:
+  Reproducible:
     runs-on: ubuntu-latest
     env:
       OPAMLOCKED: locked