CI fix attempt #45

inQWIRE · May 9, 2023 · bac059b · bac059b
1 parent 37f4657
commit bac059b
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/coq-action.yml b/.github/workflows/coq-action.yml
@@ -51,6 +51,6 @@ jobs:
           opam_file: 'coq-voqc.opam'
           coq_version: ${{ matrix.coq_version }}
           ocaml_version: ${{ matrix.ocaml_version }}
-          before_script: opam pin add -n -y -k path coq-sqir . 
+          before_install: opam pin add -n -y coq-sqir .