CI

logsem · Sep 18, 2023 · e806d95 · e806d95
1 parent 8e7f33a
commit e806d95
Showing 1 changed file with 1 addition and 2 deletions.
diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
@@ -28,12 +28,11 @@ jobs:
       with:
         coq_version: ${{ matrix.coq_version }}
         ocaml_version: "4.14.1-flambda"
-        install: ""
+        install: "opam install . --deps-only --yes"
         before_script: |
           sudo chown -R coq:coq . # workaround a permission issue
         script: |
           startGroup Build
-            opam install . --deps-only
             make ci -j2
           endGroup
         uninstall: |