Coq 8.18

liyishuai · Aug 31, 2023 · cdd1451 · cdd1451
1 parent f425711
commit cdd1451
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 0 deletions.
diff --git a/.github/workflows/docker-action.yml b/.github/workflows/docker-action.yml
@@ -22,6 +22,7 @@ jobs:
           - 'coqorg/coq:8.15'
           - 'coqorg/coq:8.16'
           - 'coqorg/coq:8.17'
+          - 'coqorg/coq:8.18'
       fail-fast: false
     steps:
       - uses: actions/checkout@v3

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