Merge pull request #9 from coq-community/ci-8.17

CI for 8.17
coq-community · Jan 4, 2023 · 2af826d · 2af826d
2 parents 2d932b0 + 96b7af3
commit 2af826d
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 1 deletion.
diff --git a/.github/workflows/docker-action.yml b/.github/workflows/docker-action.yml
@@ -18,17 +18,19 @@ jobs:
       matrix:
         image:
           - 'coqorg/coq:dev'
+          - 'coqorg/coq:8.17'
           - 'coqorg/coq:8.16'
           - 'coqorg/coq:8.15'
           - 'coqorg/coq:8.14'
       fail-fast: false
     steps:
-      - uses: actions/checkout@v2
+      - uses: actions/checkout@v3
       - uses: coq-community/docker-coq-action@v1
         with:
           opam_file: 'coq-mmaps.opam'
           custom_image: ${{ matrix.image }}
 
+
 # See also:
 # https://github.com/coq-community/docker-coq-action#readme
 # https://github.com/erikmd/docker-coq-github-action-demo
diff --git a/meta.yml b/meta.yml
@@ -46,6 +46,7 @@ supported_coq_versions:
 
 tested_coq_opam_versions:
 - version: 'dev'
+- version: '8.17'
 - version: '8.16'
 - version: '8.15'
 - version: '8.14'