From 23e1604f5e401f274669ba40ba76297b890e6a3f Mon Sep 17 00:00:00 2001 From: Kazuhiko Sakaguchi Date: Tue, 21 Mar 2023 15:54:48 +0100 Subject: [PATCH] Update CI --- .github/workflows/docker-action.yml | 7 ++++++- coq-stablesort.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 3261beb..250c8c9 100644 --- a/.github/workflows/docker-action.yml +++ b/.github/workflows/docker-action.yml @@ -31,11 +31,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-stablesort.opam b/coq-stablesort.opam index 36cc758..45067a5 100644 --- a/coq-stablesort.opam +++ b/coq-stablesort.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/pi8027/stablesort" diff --git a/meta.yml b/meta.yml index 360fef7..18ec03d 100644 --- a/meta.yml +++ b/meta.yml @@ -38,7 +38,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 @@ -80,7 +80,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' @@ -90,6 +98,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'