ci update

Author: palmskog

.github/workflows/docker-action.yml

@@ -17,14 +17,16 @@ jobs:
     strategy:
       matrix:
         image:
-          - 'coqorg/coq:dev'
+          - 'rocq/rocq-prover:dev'
+          - 'rocq/rocq-prover:9.1'
+          - 'rocq/rocq-prover:9.0'
           - 'coqorg/coq:8.20'
           - 'coqorg/coq:8.19'
           - 'coqorg/coq:8.18'
           - 'coqorg/coq:8.17'
       fail-fast: false
     steps:
-      - uses: actions/checkout@v3
+      - uses: actions/checkout@v4
       - uses: coq-community/docker-coq-action@v1
         with:
           opam_file: 'coq-coqtail.opam'

meta.yml

@@ -37,11 +37,12 @@ supported_coq_versions:
   text: 8.17 or later
   opam: '{>= "8.17"}'
 
-tested_coq_nix_versions:
-- coq_version: 'master'
+tested_rocq_opam_versions:
+- version: 'dev'
+- version: '9.1'
+- version: '9.0'
 
 tested_coq_opam_versions:
-- version: dev
 - version: '8.20'
 - version: '8.19'
 - version: '8.18'