Merge pull request #28 from ablearthy/update-gh-actions-coq-820

Add coq 8.20 to matrix
coq-community · Dec 30, 2024 · 46757e3 · 46757e3
2 parents 9b2874b + 53e45f1
commit 46757e3
Show file tree

Hide file tree

Showing 3 changed files with 4 additions and 3 deletions.
diff --git a/.github/workflows/docker-action.yml b/.github/workflows/docker-action.yml
@@ -17,6 +17,7 @@ jobs:
     strategy:
       matrix:
         image:
+          - 'mathcomp/mathcomp:1.19.0-coq-8.20'
           - 'mathcomp/mathcomp:1.19.0-coq-8.19'
           - 'mathcomp/mathcomp:1.18.0-coq-8.18'
           - 'mathcomp/mathcomp:1.17.0-coq-8.17'

diff --git a/coq-fav-ssr.opam b/coq-fav-ssr.opam
@@ -19,7 +19,7 @@ The book was previously called "Functional Algorithms Verified", hence the FAV a
 build: [make "-j%{jobs}%"]
 install: [make "install"]
 depends: [
-  "coq" {>= "8.15" & < "8.20"}
+  "coq" {>= "8.15" & < "8.21"}
   "coq-mathcomp-ssreflect" {>= "1.17" & < "2.0"}
   "coq-mathcomp-algebra" 
   "coq-equations" {>= "1.3"}

diff --git a/meta.yml b/meta.yml
@@ -32,8 +32,8 @@ license:
   identifier: MIT
 
 supported_coq_versions:
-  text: 8.15 to 8.19
-  opam: '{>= "8.15" & < "8.20"}'
+  text: 8.15 to 8.20
+  opam: '{>= "8.15" & < "8.21"}'
 
 tested_coq_opam_versions:
 - version: '1.19.0-coq-8.19'