From 0a636bcff3ff5d6a196bbc753bf5fa534b3d186b Mon Sep 17 00:00:00 2001 From: Erik Martin-Dorel Date: Wed, 24 Apr 2024 14:08:35 +0200 Subject: [PATCH] chore(coq-demo.yml): Bump some coq versions --- .github/workflows/coq-demo.yml | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/.github/workflows/coq-demo.yml b/.github/workflows/coq-demo.yml index 2e7fe99..3dc2d7e 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.16' + - '8.18' - 'latest-native' - 'dev' ocaml_version: ['default'] @@ -58,7 +58,7 @@ jobs: matrix: image: - 'mathcomp/mathcomp-dev:coq-dev' - - 'mathcomp/mathcomp:latest-coq-8.17' + - 'mathcomp/mathcomp:latest-coq-8.19' # - '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