From 1c523fff4617a5422a324720a2fdcf4a96ef3e6a Mon Sep 17 00:00:00 2001 From: Erik Martin-Dorel Date: Thu, 15 Jun 2023 20:08:31 +0200 Subject: [PATCH] fix(coq-demo.yml): s/latest-coq-8.15/latest-coq-8.17/ --- .github/workflows/coq-demo.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/workflows/coq-demo.yml b/.github/workflows/coq-demo.yml index 4dca909..2e7fe99 100644 --- a/.github/workflows/coq-demo.yml +++ b/.github/workflows/coq-demo.yml @@ -58,7 +58,7 @@ jobs: matrix: image: - 'mathcomp/mathcomp-dev:coq-dev' - - 'mathcomp/mathcomp:latest-coq-8.15' + - 'mathcomp/mathcomp:latest-coq-8.17' # - '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