ci for 8.19

coq-community · Dec 30, 2023 · 0553daf · 0553daf
1 parent c32df70
commit 0553daf
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
@@ -16,6 +16,7 @@ jobs:
       matrix:
         image:
           - 'coqorg/coq:dev'
+          - 'coqorg/coq:8.19'
           - 'coqorg/coq:8.18'
           - 'coqorg/coq:8.17'
           - 'coqorg/coq:8.16'

diff --git a/meta.yml b/meta.yml
@@ -48,6 +48,7 @@ supported_coq_versions:
 
 tested_coq_opam_versions:
 - version: dev
+- version: '8.19'
 - version: '8.18'
 - version: '8.17'
 - version: '8.16'