Coq 8.17

liyishuai · Jun 13, 2023 · f425711 · f425711
1 parent 27e4bce
commit f425711
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 1 deletion.
diff --git a/.github/workflows/docker-action.yml b/.github/workflows/docker-action.yml
@@ -21,9 +21,10 @@ jobs:
           - 'coqorg/coq:8.14'
           - 'coqorg/coq:8.15'
           - 'coqorg/coq:8.16'
+          - 'coqorg/coq:8.17'
       fail-fast: false
     steps:
-      - uses: actions/checkout@v2
+      - uses: actions/checkout@v3
       - uses: coq-community/docker-coq-action@v1
         with:
           opam_file: 'coq-parsec.opam'

diff --git a/meta.yml b/meta.yml
@@ -49,3 +49,4 @@ tested_coq_opam_versions:
   - version: '8.14'
   - version: '8.15'
   - version: '8.16'
+  - version: '8.17'