chore(CI): Bump some image tags

coq-community · Feb 5, 2025 · 3bb8f8c · 3bb8f8c
1 parent 8dd5c2e
commit 3bb8f8c
Showing 1 changed file with 6 additions and 3 deletions.
diff --git a/.github/workflows/coq-demo.yml b/.github/workflows/coq-demo.yml
@@ -25,7 +25,7 @@ jobs:
         # To get the list of supported (coq, ocaml) versions from coqorg/coq,
         # see https://github.com/coq-community/docker-coq/wiki#supported-tags
         coq_version:
-          - '8.18'
+          - '8.20'
           - 'latest-native'
           - 'dev'
         ocaml_version: ['default']
@@ -58,7 +58,7 @@ jobs:
       matrix:
         image:
           - 'mathcomp/mathcomp-dev:coq-dev'
-          - 'mathcomp/mathcomp:latest-coq-8.19'
+          - 'mathcomp/mathcomp:latest-coq-8.20'
           # - 'mathcomp/mathcomp:latest-coq-dev'  # not always available,
           # see https://hub.docker.com/r/mathcomp/mathcomp#supported-tags
       fail-fast: false  # don't stop jobs if one fails
@@ -94,6 +94,7 @@ jobs:
         image:
           # TODO: Update as soon as Rocq 9.0.0 goes live
           - 'coqorg/coq:latest'
+          - 'rocq/rocq-prover:9.0'
           - 'rocq/rocq-prover:dev'
       fail-fast: false  # don't stop jobs if one fails
     steps:
@@ -151,6 +152,7 @@ jobs:
       matrix:
         image:
           - 'coqorg/coq:latest'
+          - 'rocq/rocq-prover:9.0'
           - 'rocq/rocq-prover:dev'
       fail-fast: false  # don't stop jobs if one fails
     steps:
@@ -282,6 +284,7 @@ jobs:
       matrix:
         image:
           - 'coqorg/coq:latest'
+          - 'rocq/rocq-prover:9.0'
           - 'rocq/rocq-prover:dev'
       fail-fast: false  # don't stop jobs if one fails
     steps:
@@ -385,7 +388,7 @@ jobs:
     strategy:
       matrix:
         image:
-          - 'mathcomp/mathcomp:latest-coq-8.19'
+          - 'mathcomp/mathcomp:latest-coq-8.20'
       fail-fast: false  # don't stop jobs if one fails
     steps:
       ################################################################