From 31e112748300ed030992c475577f8c1f08c5f966 Mon Sep 17 00:00:00 2001 From: Kazuhiko Sakaguchi Date: Thu, 18 Jan 2024 17:24:55 +0100 Subject: [PATCH] Fix CI --- .github/workflows/docker-action.yml | 3 ++- meta.yml | 4 +++- 2 files changed, 5 insertions(+), 2 deletions(-) diff --git a/.github/workflows/docker-action.yml b/.github/workflows/docker-action.yml index 10587e0..6870c84 100644 --- a/.github/workflows/docker-action.yml +++ b/.github/workflows/docker-action.yml @@ -20,9 +20,10 @@ jobs: - 'mathcomp/mathcomp:2.0.0-coq-8.16' - 'mathcomp/mathcomp:2.0.0-coq-8.17' - 'mathcomp/mathcomp:2.0.0-coq-8.18' - - 'mathcomp/mathcomp:2.0.0-coq-8.16' + - 'mathcomp/mathcomp:2.1.0-coq-8.16' - 'mathcomp/mathcomp:2.1.0-coq-8.17' - 'mathcomp/mathcomp:2.1.0-coq-8.18' + - 'mathcomp/mathcomp:2.2.0-coq-8.16' - 'mathcomp/mathcomp:2.2.0-coq-8.17' - 'mathcomp/mathcomp:2.2.0-coq-8.18' - 'mathcomp/mathcomp:2.2.0-coq-8.19' diff --git a/meta.yml b/meta.yml index 3f82536..9ad26de 100644 --- a/meta.yml +++ b/meta.yml @@ -52,12 +52,14 @@ tested_coq_opam_versions: repo: 'mathcomp/mathcomp' - version: '2.0.0-coq-8.18' repo: 'mathcomp/mathcomp' -- version: '2.0.0-coq-8.16' +- version: '2.1.0-coq-8.16' 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.2.0-coq-8.16' + repo: 'mathcomp/mathcomp' - version: '2.2.0-coq-8.17' repo: 'mathcomp/mathcomp' - version: '2.2.0-coq-8.18'