Coq 8.20

liyishuai · Sep 20, 2024 · 8ae6b72 · 8ae6b72
1 parent 7aac084
commit 8ae6b72
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 0 deletions.
diff --git a/.github/workflows/docker-action.yml b/.github/workflows/docker-action.yml
@@ -22,6 +22,8 @@ jobs:
           - 'coqorg/coq:8.16'
           - 'coqorg/coq:8.17'
           - 'coqorg/coq:8.18'
+          - 'coqorg/coq:8.19'
+          - 'coqorg/coq:8.20'
           - 'coqorg/coq:dev'
       fail-fast: false
     steps:

diff --git a/meta.yml b/meta.yml
@@ -46,6 +46,8 @@ tested_coq_opam_versions:
   - version: '8.16'
   - version: '8.17'
   - version: '8.18'
+  - version: '8.19'
+  - version: '8.20'
   - version: 'dev'
 test_target: test
 action_appendix: |2-