CI fix attempt #41

inQWIRE · May 9, 2023 · eba1dba · eba1dba
1 parent 06cfc36
commit eba1dba
Showing 1 changed file with 1 addition and 4 deletions.
diff --git a/.github/workflows/coq-action.yml b/.github/workflows/coq-action.yml
@@ -51,8 +51,5 @@ jobs:
           opam_file: 'coq-voqc.opam'
           coq_version: ${{ matrix.coq_version }}
           ocaml_version: ${{ matrix.ocaml_version }}
-          before_install:
-            startGroup "Install dependency"
-              opam pin add coq-sqir .
-            endGroup
+          before_install: opam pin add coq-sqir .