Merge pull request #34 from inQWIRE/fix-ci

Update coq-action.yml
inQWIRE · Apr 5, 2023 · 71b5b22 · 71b5b22
2 parents d97ea40 + f37501e
commit 71b5b22
Showing 1 changed file with 3 additions and 1 deletion.
diff --git a/.github/workflows/coq-action.yml b/.github/workflows/coq-action.yml
@@ -17,14 +17,16 @@ jobs:
           - '8.14'
           - '8.15'
           - '8.16'
+          - '8.17'
           - 'dev'
         ocaml_version:
           - 'default'
       fail-fast: false # don't stop jobs if one fails
     steps:
-      - uses: actions/checkout@v2
+      - uses: actions/checkout@v3
       - uses: coq-community/docker-coq-action@v1
         with:
+          opam_file: 'coq-quantumlib.opam'
           coq_version: ${{ matrix.coq_version }}
           ocaml_version: ${{ matrix.ocaml_version }}