ci and opam for 8.19

coq-community · Dec 30, 2023 · adfb872 · adfb872
1 parent 5a26ace
commit adfb872
Show file tree

Hide file tree

Showing 3 changed files with 4 additions and 2 deletions.
diff --git a/.github/workflows/docker-action.yml b/.github/workflows/docker-action.yml
@@ -20,6 +20,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/coq-huffman.opam b/coq-huffman.opam
@@ -20,7 +20,7 @@ Codes, Proc. IRE, pp. 1098-1101, September 1952."""
 build: ["dune" "build" "-p" name "-j" jobs]
 depends: [
   "dune" {>= "3.5"}
-  "coq" {(>= "8.12" & < "8.19~") | (= "dev")}
+  "coq" {(>= "8.12" & < "8.20~") | (= "dev")}
 ]
 
 tags: [

diff --git a/meta.yml b/meta.yml
@@ -41,10 +41,11 @@ license:
 
 supported_coq_versions:
   text: 8.12 or later
-  opam: '{(>= "8.12" & < "8.19~") | (= "dev")}'
+  opam: '{(>= "8.12" & < "8.20~") | (= "dev")}'
 
 tested_coq_opam_versions:
 - version: 'dev'
+- version: '8.19'
 - version: '8.18'
 - version: '8.17'
 - version: '8.16'