Skip to content

Commit

Permalink
Update meta.yml
Browse files Browse the repository at this point in the history
  • Loading branch information
@pi8027
pi8027 committed Feb 28, 2022
1 parent 8ec5009 commit 376fea1
Show file tree
Hide file tree
Showing 2 changed files with 17 additions and 2 deletions.
7 changes: 6 additions & 1 deletion .github/workflows/docker-action.yml
View file
Original file line number Diff line number Diff line change
Expand Up @@ -27,7 +27,12 @@ jobs:
- 'mathcomp/mathcomp:1.13.0-coq-8.13'
- 'mathcomp/mathcomp:1.13.0-coq-8.14'
- 'mathcomp/mathcomp:1.13.0-coq-8.15'
- 'mathcomp/mathcomp:1.13.0-coq-dev'
- 'mathcomp/mathcomp:1.14.0-coq-8.11'
- 'mathcomp/mathcomp:1.14.0-coq-8.12'
- 'mathcomp/mathcomp:1.14.0-coq-8.13'
- 'mathcomp/mathcomp:1.14.0-coq-8.14'
- 'mathcomp/mathcomp:1.14.0-coq-8.15'
- 'mathcomp/mathcomp:1.14.0-coq-dev'
- 'mathcomp/mathcomp-dev:coq-8.11'
- 'mathcomp/mathcomp-dev:coq-8.12'
- 'mathcomp/mathcomp-dev:coq-8.13'
Expand Down
12 changes: 11 additions & 1 deletion meta.yml
View file
Original file line number Diff line number Diff line change
Expand Up @@ -72,7 +72,17 @@ tested_coq_opam_versions:
repo: 'mathcomp/mathcomp'
- version: '1.13.0-coq-8.15'
repo: 'mathcomp/mathcomp'
- version: '1.13.0-coq-dev'
- version: '1.14.0-coq-8.11'
repo: 'mathcomp/mathcomp'
- version: '1.14.0-coq-8.12'
repo: 'mathcomp/mathcomp'
- version: '1.14.0-coq-8.13'
repo: 'mathcomp/mathcomp'
- version: '1.14.0-coq-8.14'
repo: 'mathcomp/mathcomp'
- version: '1.14.0-coq-8.15'
repo: 'mathcomp/mathcomp'
- version: '1.14.0-coq-dev'
repo: 'mathcomp/mathcomp'
- version: 'coq-8.11'
repo: 'mathcomp/mathcomp-dev'
Expand Down

0 comments on commit 376fea1

Please sign in to comment.