diff --git a/.github/workflows/docker-action.yml b/.github/workflows/docker-action.yml index 4ff090d..db1a18d 100644 --- a/.github/workflows/docker-action.yml +++ b/.github/workflows/docker-action.yml @@ -23,10 +23,15 @@ jobs: - '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.1.0-coq-dev' + - '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' + - 'mathcomp/mathcomp:2.2.0-coq-dev' - 'mathcomp/mathcomp-dev:coq-8.16' - 'mathcomp/mathcomp-dev:coq-8.17' - 'mathcomp/mathcomp-dev:coq-8.18' + - 'mathcomp/mathcomp-dev:coq-8.19' - 'mathcomp/mathcomp-dev:coq-dev' fail-fast: false steps: diff --git a/meta.yml b/meta.yml index f2c6864..d66ce68 100644 --- a/meta.yml +++ b/meta.yml @@ -43,7 +43,15 @@ tested_coq_opam_versions: repo: 'mathcomp/mathcomp' - version: '2.1.0-coq-8.18' repo: 'mathcomp/mathcomp' -- version: '2.1.0-coq-dev' +- 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' + repo: 'mathcomp/mathcomp' +- version: '2.2.0-coq-8.19' + repo: 'mathcomp/mathcomp' +- version: '2.2.0-coq-dev' repo: 'mathcomp/mathcomp' - version: 'coq-8.16' repo: 'mathcomp/mathcomp-dev' @@ -51,6 +59,8 @@ tested_coq_opam_versions: repo: 'mathcomp/mathcomp-dev' - version: 'coq-8.18' repo: 'mathcomp/mathcomp-dev' +- version: 'coq-8.19' + repo: 'mathcomp/mathcomp-dev' - version: 'coq-dev' repo: 'mathcomp/mathcomp-dev'