Merge pull request #201 from coq-community/coq-8.18

Update testing to Coq 8.18.

Author: Zimmi48

.github/workflows/docker-action.yml

@@ -18,18 +18,20 @@ jobs:
       matrix:
         image:
           - 'coqorg/coq:dev'
+          - 'coqorg/coq:8.18'
           - 'coqorg/coq:8.17'
           - 'coqorg/coq:8.16'
           - 'coqorg/coq:8.15'
           - 'coqorg/coq:8.14'
       fail-fast: false
     steps:
-      - uses: actions/checkout@v2
+      - uses: actions/checkout@v3
       - uses: coq-community/docker-coq-action@v1
         with:
           opam_file: 'coq-corn.opam'
           custom_image: ${{ matrix.image }}
 
+
 # See also:
 # https://github.com/coq-community/docker-coq-action#readme
 # https://github.com/erikmd/docker-coq-github-action-demo

coq-corn.opam

@@ -46,7 +46,7 @@ build: [
 ]
 install: [make "install"]
 depends: [
-  "coq" {(>= "8.14" & < "8.18~") | (= "dev")}
+  "coq" {(>= "8.14" & < "8.19~") | (= "dev")}
   "coq-math-classes" {(>= "8.8.1") | (= "dev")}
   "coq-bignums" 
 ]

meta.yml

@@ -80,10 +80,12 @@ license:
 
 supported_coq_versions:
   text: Coq 8.14 or greater
-  opam: '{(>= "8.14" & < "8.17~") | (= "dev")}'
+  opam: '{(>= "8.14" & < "8.19~") | (= "dev")}'
 
 tested_coq_opam_versions:
 - version: dev
+- version: "8.18"
+- version: "8.17"
 - version: "8.16"
 - version: "8.15"
 - version: "8.14"