From 218732b5c4b33626f33a3d258dc86b631a189c89 Mon Sep 17 00:00:00 2001 From: Kazuhiko Sakaguchi Date: Fri, 22 Sep 2023 14:50:18 +0200 Subject: [PATCH] Update CI --- .github/workflows/docker-action.yml | 4 +++- meta.yml | 4 ++++ 2 files changed, 7 insertions(+), 1 deletion(-) diff --git a/.github/workflows/docker-action.yml b/.github/workflows/docker-action.yml index f5a14b3..07c38db 100644 --- a/.github/workflows/docker-action.yml +++ b/.github/workflows/docker-action.yml @@ -19,12 +19,14 @@ jobs: image: - '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-dev:coq-8.16' - 'mathcomp/mathcomp-dev:coq-8.17' + - 'mathcomp/mathcomp-dev:coq-8.18' - 'mathcomp/mathcomp-dev:coq-dev' fail-fast: false steps: - - uses: actions/checkout@v2 + - uses: actions/checkout@v3 - uses: coq-community/docker-coq-action@v1 with: opam_file: 'coq-mathcomp-zify.opam' diff --git a/meta.yml b/meta.yml index e5eebbf..6538ac6 100644 --- a/meta.yml +++ b/meta.yml @@ -35,10 +35,14 @@ tested_coq_opam_versions: repo: 'mathcomp/mathcomp' - version: '2.0.0-coq-8.17' repo: 'mathcomp/mathcomp' +- version: '2.0.0-coq-8.18' + repo: 'mathcomp/mathcomp' - version: 'coq-8.16' repo: 'mathcomp/mathcomp-dev' - version: 'coq-8.17' repo: 'mathcomp/mathcomp-dev' +- version: 'coq-8.18' + repo: 'mathcomp/mathcomp-dev' - version: 'coq-dev' repo: 'mathcomp/mathcomp-dev'