bump upper limit on coq

.github/workflows/docker-action.yml

@@ -18,7 +18,7 @@ jobs:
       matrix:
         image:
           - 'mathcomp/mathcomp:1.15.0-coq-8.15'
-          - 'mathcomp/mathcomp:1.17.0-coq-8.17'
+          - 'mathcomp/mathcomp:1.17.0-coq-8.18'
           - 'mathcomp/mathcomp-dev:coq-dev'
       fail-fast: false
     steps:

README.md

@@ -6,8 +6,8 @@ Follow the instructions on https://github.com/coq-community/templates to regener
 
 [![Docker CI][docker-action-shield]][docker-action-link]
 
-[docker-action-shield]: https://github.com/imdea-software/fcsl-pcm/workflows/Docker%20CI/badge.svg?branch=master
-[docker-action-link]: https://github.com/imdea-software/fcsl-pcm/actions?query=workflow:"Docker%20CI"
+[docker-action-shield]: https://github.com/imdea-software/fcsl-pcm/actions/workflows/docker-action.yml/badge.svg?branch=master
+[docker-action-link]: https://github.com/imdea-software/fcsl-pcm/actions/workflows/docker-action.yml
 
 
 

coq-fcsl-pcm.opam

@@ -25,7 +25,7 @@ This library relies on propositional and functional extentionality axioms."""
 build: [make "-j%{jobs}%"]
 install: [make "install"]
 depends: [
-  "coq" { (>= "8.15" & < "8.18~") | (= "dev") }
+  "coq" { (>= "8.15" & < "8.19~") | (= "dev") }
   "coq-mathcomp-ssreflect" { (>= "1.15.0" & < "1.18~") | (= "dev") }
   "coq-mathcomp-algebra" 
 ]

meta.yml

@@ -41,12 +41,12 @@ license:
 
 supported_coq_versions:
   text: Coq 8.15 to 8.17
-  opam: '{ (>= "8.15" & < "8.18~") | (= "dev") }'
+  opam: '{ (>= "8.15" & < "8.19~") | (= "dev") }'
 
 tested_coq_opam_versions:
 - version: '1.15.0-coq-8.15'
   repo: 'mathcomp/mathcomp'
-- version: '1.17.0-coq-8.17'
+- version: '1.17.0-coq-8.18'
   repo: 'mathcomp/mathcomp'
 - version: 'coq-dev'
   repo: 'mathcomp/mathcomp-dev'