From 07862947a028257226f9ba2a018d6718b489cf75 Mon Sep 17 00:00:00 2001 From: Karl Palmskog Date: Sun, 16 Feb 2025 10:14:19 +0100 Subject: [PATCH] update docker ci --- .github/workflows/docker-action.yml | 5 +++-- meta.yml | 4 +++- 2 files changed, 6 insertions(+), 3 deletions(-) diff --git a/.github/workflows/docker-action.yml b/.github/workflows/docker-action.yml index 86e2cca..5a8f560 100644 --- a/.github/workflows/docker-action.yml +++ b/.github/workflows/docker-action.yml @@ -19,7 +19,8 @@ jobs: strategy: matrix: image: - - 'mathcomp/mathcomp-dev:coq-dev' + - 'mathcomp/mathcomp-dev:rocq-prover-dev' + - 'mathcomp/mathcomp:2.3.0-coq-8.20' - 'mathcomp/mathcomp:2.2.0-coq-8.19' - 'mathcomp/mathcomp:2.2.0-coq-8.18' - 'mathcomp/mathcomp:2.1.0-coq-8.18' @@ -30,7 +31,7 @@ jobs: - 'mathcomp/mathcomp:2.0.0-coq-8.16' fail-fast: false steps: - - uses: actions/checkout@v3 + - uses: actions/checkout@v4 - uses: coq-community/docker-coq-action@v1 with: opam_file: 'coq-reglang.opam' diff --git a/meta.yml b/meta.yml index d3722b4..62adf79 100644 --- a/meta.yml +++ b/meta.yml @@ -64,8 +64,10 @@ dependencies: [Hierarchy Builder](https://github.com/math-comp/hierarchy-builder) 1.4.0 or later tested_coq_opam_versions: -- version: 'coq-dev' +- version: 'rocq-prover-dev' repo: 'mathcomp/mathcomp-dev' +- version: '2.3.0-coq-8.20' + repo: 'mathcomp/mathcomp' - version: '2.2.0-coq-8.19' repo: 'mathcomp/mathcomp' - version: '2.2.0-coq-8.18'