From f48e9ea4b00c49eb7c0e6329ff963fa12ecfeebb Mon Sep 17 00:00:00 2001 From: Karl Palmskog Date: Sun, 9 Feb 2025 17:00:28 +0100 Subject: [PATCH] adjust CI to Rocq changes --- .github/workflows/docker-action.yml | 5 ++--- meta.yml | 6 ++---- 2 files changed, 4 insertions(+), 7 deletions(-) diff --git a/.github/workflows/docker-action.yml b/.github/workflows/docker-action.yml index d99f23b..043c304 100644 --- a/.github/workflows/docker-action.yml +++ b/.github/workflows/docker-action.yml @@ -23,9 +23,8 @@ jobs: - 'mathcomp/mathcomp:2.1.0-coq-8.18' - 'mathcomp/mathcomp:2.2.0-coq-8.16' - 'mathcomp/mathcomp:2.2.0-coq-8.19' - - 'mathcomp/mathcomp:2.2.0-coq-dev' - - 'mathcomp/mathcomp-dev:coq-8.19' - - 'mathcomp/mathcomp-dev:coq-dev' + - 'mathcomp/mathcomp:2.3.0-coq-8.20' + - 'mathcomp/mathcomp-dev:rocq-prover-dev' fail-fast: false steps: - uses: actions/checkout@v4 diff --git a/meta.yml b/meta.yml index bbd2f5f..4f5c370 100644 --- a/meta.yml +++ b/meta.yml @@ -48,11 +48,9 @@ tested_coq_opam_versions: repo: 'mathcomp/mathcomp' - version: '2.2.0-coq-8.19' repo: 'mathcomp/mathcomp' -- version: '2.2.0-coq-dev' +- version: '2.3.0-coq-8.20' repo: 'mathcomp/mathcomp' -- version: 'coq-8.19' - repo: 'mathcomp/mathcomp-dev' -- version: 'coq-dev' +- version: 'rocq-prover-dev' repo: 'mathcomp/mathcomp-dev' # test master every Sunday at 05:00 UTC