From 3bb8f8c7250535d5104ce34b202df6fd05cb4fab Mon Sep 17 00:00:00 2001 From: Erik Martin-Dorel Date: Wed, 5 Feb 2025 20:08:42 +0100 Subject: [PATCH] chore(CI): Bump some image tags --- .github/workflows/coq-demo.yml | 9 ++++++--- 1 file changed, 6 insertions(+), 3 deletions(-) diff --git a/.github/workflows/coq-demo.yml b/.github/workflows/coq-demo.yml index 18abdf9..e903112 100644 --- 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: ################################################################