From 60904545b2e80c8ede272c96e10908df0ffd5da7 Mon Sep 17 00:00:00 2001 From: Kazuhiko Sakaguchi Date: Tue, 7 Feb 2023 13:01:24 +0100 Subject: [PATCH] Update CI --- .github/workflows/docker-action.yml | 7 ++++++- coq-mathcomp-zify.opam | 2 +- meta.yml | 14 ++++++++++++-- 3 files changed, 19 insertions(+), 4 deletions(-) diff --git a/.github/workflows/docker-action.yml b/.github/workflows/docker-action.yml index 1c9f4dd..78597c9 100644 --- a/.github/workflows/docker-action.yml +++ b/.github/workflows/docker-action.yml @@ -29,11 +29,16 @@ jobs: - 'mathcomp/mathcomp:1.15.0-coq-8.14' - 'mathcomp/mathcomp:1.15.0-coq-8.15' - 'mathcomp/mathcomp:1.15.0-coq-8.16' - - 'mathcomp/mathcomp:1.15.0-coq-dev' + - 'mathcomp/mathcomp:1.16.0-coq-8.13' + - 'mathcomp/mathcomp:1.16.0-coq-8.14' + - 'mathcomp/mathcomp:1.16.0-coq-8.15' + - 'mathcomp/mathcomp:1.16.0-coq-8.16' + - 'mathcomp/mathcomp:1.16.0-coq-8.17' - 'mathcomp/mathcomp-dev:coq-8.13' - 'mathcomp/mathcomp-dev:coq-8.14' - 'mathcomp/mathcomp-dev:coq-8.15' - 'mathcomp/mathcomp-dev:coq-8.16' + - 'mathcomp/mathcomp-dev:coq-8.17' - 'mathcomp/mathcomp-dev:coq-dev' fail-fast: false steps: diff --git a/coq-mathcomp-zify.opam b/coq-mathcomp-zify.opam index f73e00e..90e2371 100644 --- a/coq-mathcomp-zify.opam +++ b/coq-mathcomp-zify.opam @@ -2,7 +2,7 @@ # Follow the instructions on https://github.com/coq-community/templates to regenerate. opam-version: "2.0" -maintainer: "sakaguchi@coins.tsukuba.ac.jp" +maintainer: "kazuhiko.sakaguchi@inria.fr" version: "dev" homepage: "https://github.com/math-comp/mczify" diff --git a/meta.yml b/meta.yml index 74512f2..cf78ccd 100644 --- a/meta.yml +++ b/meta.yml @@ -17,7 +17,7 @@ authors: - name: Kazuhiko Sakaguchi initial: true -opam-file-maintainer: sakaguchi@coins.tsukuba.ac.jp +opam-file-maintainer: kazuhiko.sakaguchi@inria.fr license: fullname: CeCILL-B Free Software License Agreement @@ -55,7 +55,15 @@ tested_coq_opam_versions: repo: 'mathcomp/mathcomp' - version: '1.15.0-coq-8.16' repo: 'mathcomp/mathcomp' -- version: '1.15.0-coq-dev' +- version: '1.16.0-coq-8.13' + repo: 'mathcomp/mathcomp' +- version: '1.16.0-coq-8.14' + repo: 'mathcomp/mathcomp' +- version: '1.16.0-coq-8.15' + repo: 'mathcomp/mathcomp' +- version: '1.16.0-coq-8.16' + repo: 'mathcomp/mathcomp' +- version: '1.16.0-coq-8.17' repo: 'mathcomp/mathcomp' - version: 'coq-8.13' repo: 'mathcomp/mathcomp-dev' @@ -65,6 +73,8 @@ tested_coq_opam_versions: repo: 'mathcomp/mathcomp-dev' - version: 'coq-8.16' repo: 'mathcomp/mathcomp-dev' +- version: 'coq-8.17' + repo: 'mathcomp/mathcomp-dev' - version: 'coq-dev' repo: 'mathcomp/mathcomp-dev'