From 8a458a16b00fea3a904815be62dc12497ee363bc Mon Sep 17 00:00:00 2001 From: Kazuhiko Sakaguchi Date: Thu, 20 Aug 2026 19:00:02 +0200 Subject: [PATCH] Update Docker CI --- .github/workflows/docker-action.yml | 5 +++++ meta.yml | 10 ++++++++++ 2 files changed, 15 insertions(+) diff --git a/.github/workflows/docker-action.yml b/.github/workflows/docker-action.yml index 25f0d23..afb3515 100644 --- a/.github/workflows/docker-action.yml +++ b/.github/workflows/docker-action.yml @@ -22,9 +22,14 @@ jobs: - 'mathcomp/mathcomp:2.4.0-rocq-prover-9.1' - 'mathcomp/mathcomp:2.5.0-rocq-prover-9.0' - 'mathcomp/mathcomp:2.5.0-rocq-prover-9.1' + - 'mathcomp/mathcomp:2.6.0-rocq-prover-9.0' + - 'mathcomp/mathcomp:2.6.0-rocq-prover-9.1' + - 'mathcomp/mathcomp:2.6.0-rocq-prover-9.2' + - 'mathcomp/mathcomp:2.6.0-rocq-prover-9.3' - 'mathcomp/mathcomp-dev:rocq-prover-9.0' - 'mathcomp/mathcomp-dev:rocq-prover-9.1' - 'mathcomp/mathcomp-dev:rocq-prover-9.2' + - 'mathcomp/mathcomp-dev:rocq-prover-9.3' - 'mathcomp/mathcomp-dev:rocq-prover-dev' fail-fast: false steps: diff --git a/meta.yml b/meta.yml index e5b00f6..2d16788 100644 --- a/meta.yml +++ b/meta.yml @@ -39,12 +39,22 @@ tested_coq_opam_versions: repo: 'mathcomp/mathcomp' - version: '2.5.0-rocq-prover-9.1' repo: 'mathcomp/mathcomp' +- version: '2.6.0-rocq-prover-9.0' + repo: 'mathcomp/mathcomp' +- version: '2.6.0-rocq-prover-9.1' + repo: 'mathcomp/mathcomp' +- version: '2.6.0-rocq-prover-9.2' + repo: 'mathcomp/mathcomp' +- version: '2.6.0-rocq-prover-9.3' + repo: 'mathcomp/mathcomp' - version: 'rocq-prover-9.0' repo: 'mathcomp/mathcomp-dev' - version: 'rocq-prover-9.1' repo: 'mathcomp/mathcomp-dev' - version: 'rocq-prover-9.2' repo: 'mathcomp/mathcomp-dev' +- version: 'rocq-prover-9.3' + repo: 'mathcomp/mathcomp-dev' - version: 'rocq-prover-dev' repo: 'mathcomp/mathcomp-dev'