fix(build): Use opam install --locked for Docker build (#973)

OCamlPro · Nov 24, 2023 · 5a0db4f · 5a0db4f
1 parent 68094e5
commit 5a0db4f
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/build_docker.yml b/.github/workflows/build_docker.yml
@@ -46,4 +46,4 @@ jobs:
       - run: opam switch create . ocaml-system --deps-only --ignore-constraints-on alt-ergo-lib,alt-ergo-parsers
 
       # Install the project packages
-      - run: opam install .
+      - run: opam install . --locked