ci: Add checks for 8.20 and 9.0 (#217)

Author: Lysxia

.github/workflows/docker-action.yml

@@ -18,11 +18,13 @@ jobs:
       matrix:
         image:
           - 'rocq/rocq-prover:dev'
+          - 'rocq/rocq-prover:9.0'
+          - 'coqorg/coq:8.20'
           - 'coqorg/coq:8.19'
           - 'coqorg/coq:8.18'
       fail-fast: false
     steps:
-      - uses: actions/checkout@v3
+      - uses: actions/checkout@v4
       - uses: coq-community/docker-coq-action@v1
         with:
           opam_file: 'coq-corn.opam'

coq-corn.opam

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