From 15df4a344d8f6b95692c3a15be348733449938c6 Mon Sep 17 00:00:00 2001 From: Kazuhiko Sakaguchi Date: Wed, 11 Sep 2024 15:11:31 +0200 Subject: [PATCH] Update CI --- .github/workflows/docker-action.yml | 2 ++ meta.yml | 4 ++++ 2 files changed, 6 insertions(+) diff --git a/.github/workflows/docker-action.yml b/.github/workflows/docker-action.yml index c659fea..e6d55d8 100644 --- a/.github/workflows/docker-action.yml +++ b/.github/workflows/docker-action.yml @@ -27,9 +27,11 @@ jobs: - 'mathcomp/mathcomp:2.2.0-coq-8.17' - 'mathcomp/mathcomp:2.2.0-coq-8.18' - 'mathcomp/mathcomp:2.2.0-coq-8.19' + - 'mathcomp/mathcomp:2.2.0-coq-8.20' - 'mathcomp/mathcomp:2.2.0-coq-dev' - 'mathcomp/mathcomp-dev:coq-8.18' - 'mathcomp/mathcomp-dev:coq-8.19' + - 'mathcomp/mathcomp-dev:coq-8.20' - 'mathcomp/mathcomp-dev:coq-dev' fail-fast: false steps: diff --git a/meta.yml b/meta.yml index 0d91116..1254e4a 100644 --- a/meta.yml +++ b/meta.yml @@ -66,12 +66,16 @@ tested_coq_opam_versions: repo: 'mathcomp/mathcomp' - version: '2.2.0-coq-8.19' repo: 'mathcomp/mathcomp' +- version: '2.2.0-coq-8.20' + repo: 'mathcomp/mathcomp' - version: '2.2.0-coq-dev' repo: 'mathcomp/mathcomp' - version: 'coq-8.18' repo: 'mathcomp/mathcomp-dev' - version: 'coq-8.19' repo: 'mathcomp/mathcomp-dev' +- version: 'coq-8.20' + repo: 'mathcomp/mathcomp-dev' - version: 'coq-dev' repo: 'mathcomp/mathcomp-dev'