diff --git a/.github/workflows/docker-action.yml b/.github/workflows/docker-action.yml index 678e264..10587e0 100644 --- a/.github/workflows/docker-action.yml +++ b/.github/workflows/docker-action.yml @@ -23,10 +23,14 @@ jobs: - 'mathcomp/mathcomp:2.0.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.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 11c57cf..3f82536 100644 --- a/meta.yml +++ b/meta.yml @@ -58,7 +58,13 @@ 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.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' @@ -66,6 +72,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'