CI fix attempt #40

inQWIRE · May 9, 2023 · b3eed7d · b3eed7d
1 parent 4a95624
commit b3eed7d
Showing 1 changed file with 1 addition and 4 deletions.
diff --git a/.github/workflows/coq-action.yml b/.github/workflows/coq-action.yml
@@ -52,10 +52,7 @@ jobs:
           coq_version: ${{ matrix.coq_version }}
           ocaml_version: ${{ matrix.ocaml_version }}
           before_install:
-            'startGroup "Print opam config"
-              opam config list; opam repo list; opam list
-            endGroup
-            startGroup "Install SQIR"
+            'startGroup "Install dependency"
               opam pin add coq-sqir .
             endGroup'