From 6a4eac1662d43d208620f06994935acec7a8a6dd Mon Sep 17 00:00:00 2001 From: Reynald Affeldt Date: Mon, 22 Apr 2024 02:15:53 +0900 Subject: [PATCH] fix ci --- .github/workflows/docker-action.yml | 5 +++-- meta.yml | 8 +++++--- 2 files changed, 8 insertions(+), 5 deletions(-) diff --git a/.github/workflows/docker-action.yml b/.github/workflows/docker-action.yml index 8b840348..5ae89d76 100644 --- a/.github/workflows/docker-action.yml +++ b/.github/workflows/docker-action.yml @@ -19,10 +19,11 @@ jobs: image: - 'mathcomp/mathcomp:2.0.0-coq-8.17' - 'mathcomp/mathcomp:2.0.0-coq-8.18' - - 'mathcomp/mathcomp:2.0.0-coq-8.19' - 'mathcomp/mathcomp:2.1.0-coq-8.17' - 'mathcomp/mathcomp:2.1.0-coq-8.18' - - 'mathcomp/mathcomp:2.1.0-coq-8.19' + - 'mathcomp/mathcomp:2.2.0-coq-8.17' + - 'mathcomp/mathcomp:2.2.0-coq-8.18' + - 'mathcomp/mathcomp:2.2.0-coq-8.19' fail-fast: false steps: - uses: actions/checkout@v2 diff --git a/meta.yml b/meta.yml index f4aaa8a2..0b595933 100644 --- a/meta.yml +++ b/meta.yml @@ -49,13 +49,15 @@ tested_coq_opam_versions: repo: 'mathcomp/mathcomp' - version: '2.0.0-coq-8.18' repo: 'mathcomp/mathcomp' -- version: '2.0.0-coq-8.19' - repo: 'mathcomp/mathcomp' - version: '2.1.0-coq-8.17' repo: 'mathcomp/mathcomp' - version: '2.1.0-coq-8.18' repo: 'mathcomp/mathcomp' -- version: '2.1.0-coq-8.19' +- version: '2.2.0-coq-8.17' + repo: 'mathcomp/mathcomp' +- version: '2.2.0-coq-8.18' + repo: 'mathcomp/mathcomp' +- version: '2.2.0-coq-8.19' repo: 'mathcomp/mathcomp' dependencies: