CI fix attempt #43

inQWIRE · May 9, 2023 · e5c342d · e5c342d
1 parent 98f8352
commit e5c342d
Showing 1 changed file with 8 additions and 1 deletion.
diff --git a/.github/workflows/coq-action.yml b/.github/workflows/coq-action.yml
@@ -51,5 +51,12 @@ jobs:
           opam_file: 'coq-voqc.opam'
           coq_version: ${{ matrix.coq_version }}
           ocaml_version: ${{ matrix.ocaml_version }}
-          before_install: opam pin add coq-sqir . -y
+          before_install: opam pin add -n -y -k path coq-sqir . 
+          install:  startGroup "Install dependencies"
+                      sudo apt-get update -y -q
+                      opam pin add -n -y -k path $PACKAGE $WORKDIR
+                      opam update -y
+                      opam install --confirm-level=unsafe-yes -j 2 $PACKAGE --deps-only
+                    endGroup
+