CI fix attempt #41

inQWIRE · May 9, 2023 · 06cfc36 · 06cfc36
1 parent b3eed7d
commit 06cfc36
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/.github/workflows/coq-action.yml b/.github/workflows/coq-action.yml
@@ -52,7 +52,7 @@ jobs:
           coq_version: ${{ matrix.coq_version }}
           ocaml_version: ${{ matrix.ocaml_version }}
           before_install:
-            'startGroup "Install dependency"
+            startGroup "Install dependency"
               opam pin add coq-sqir .
-            endGroup'
+            endGroup