diff --git a/.github/workflows/docker-action.yml b/.github/workflows/docker-action.yml index 07c38db..4ff090d 100644 --- a/.github/workflows/docker-action.yml +++ b/.github/workflows/docker-action.yml @@ -20,6 +20,10 @@ jobs: - '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: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-dev:coq-8.16' - 'mathcomp/mathcomp-dev:coq-8.17' - 'mathcomp/mathcomp-dev:coq-8.18' @@ -40,6 +44,7 @@ jobs: if: ${{ always() }} run: sudo chown -R 1001:116 . + # See also: # https://github.com/coq-community/docker-coq-action#readme # https://github.com/erikmd/docker-coq-github-action-demo diff --git a/meta.yml b/meta.yml index 6538ac6..f2c6864 100644 --- a/meta.yml +++ b/meta.yml @@ -37,6 +37,14 @@ tested_coq_opam_versions: repo: 'mathcomp/mathcomp' - version: '2.0.0-coq-8.18' repo: 'mathcomp/mathcomp' +- version: '2.1.0-coq-8.16' + repo: 'mathcomp/mathcomp' +- version: '2.1.0-coq-8.17' + repo: 'mathcomp/mathcomp' +- version: '2.1.0-coq-8.18' + repo: 'mathcomp/mathcomp' +- version: '2.1.0-coq-dev' + repo: 'mathcomp/mathcomp' - version: 'coq-8.16' repo: 'mathcomp/mathcomp-dev' - version: 'coq-8.17'