From 6ab47572860f24d89dc555bfd45661a5e94898dd Mon Sep 17 00:00:00 2001 From: Erik Martin-Dorel Date: Wed, 5 Feb 2025 19:07:47 +0100 Subject: [PATCH] fix(GHA): Replace `coqorg/coq:dev` with `rocq/rocq-prover:dev` --- .github/workflows/coq-demo.yml | 9 +++++---- 1 file changed, 5 insertions(+), 4 deletions(-) diff --git a/.github/workflows/coq-demo.yml b/.github/workflows/coq-demo.yml index 307b5e3..ca934a4 100644 --- a/.github/workflows/coq-demo.yml +++ b/.github/workflows/coq-demo.yml @@ -92,8 +92,9 @@ jobs: strategy: matrix: image: + # TODO: Update as soon as Rocq 9.0.0 goes live - 'coqorg/coq:latest' - - 'coqorg/coq:dev' + - 'rocq/rocq-prover:dev' fail-fast: false # don't stop jobs if one fails steps: ################################################################ @@ -150,7 +151,7 @@ jobs: matrix: image: - 'coqorg/coq:latest' - - 'coqorg/coq:dev' + - 'rocq/rocq-prover:dev' fail-fast: false # don't stop jobs if one fails steps: ################################################################ @@ -248,7 +249,7 @@ jobs: strategy: matrix: image: - - 'coqorg/coq:dev' + - 'rocq/rocq-prover:dev' fail-fast: false # don't stop jobs if one fails steps: ################################################################ @@ -281,7 +282,7 @@ jobs: matrix: image: - 'coqorg/coq:latest' - - 'coqorg/coq:dev' + - 'rocq/rocq-prover:dev' fail-fast: false # don't stop jobs if one fails steps: ################################################################