wip

coq · Aug 7, 2023 · 1d448eb · 1d448eb
1 parent 779c93a
commit 1d448eb
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/cd-opam.yml b/.github/workflows/cd-opam.yml
@@ -20,7 +20,7 @@ jobs:
         os: [ubuntu-latest]
         ocaml-compiler: [4.14.x]
     runs-on: ${{ matrix.os }}
-    steps:q
+    steps:
     - name: Checkout
       uses: actions/checkout@v3