Mentions légales du service

Skip to content
Snippets Groups Projects
Unverified Commit a0cbd3ba authored by Erik Martin-Dorel's avatar Erik Martin-Dorel Committed by GitHub
Browse files

feat(images.yml): Add support for coq.dev

parent 295461c0
No related branches found
No related tags found
No related merge requests found
Pipeline #843549 passed
Stage: lint-src
Stage: compile
Stage: prepare-ci
Stage: lint-ci
Stage: notify
Hide whitespace changes
Inline Side-by-side
Showing
with 3 additions and 3 deletions
images.yml
+ 3
− 3
View file @ a0cbd3ba
......@@ -25,7 +25,7 @@ images:
# # - tag: 'latest-coq-{matrix[coq]}'
- matrix:
coq: ['8.18', '8.17', '8.16']
coq: ['dev', '8.18', '8.17', '8.16']
mathcomp: ['2.0.0']
build:
# keyword for docker-keeper's trigger (from docker-coq CI)
......@@ -39,7 +39,7 @@ images:
- tag: 'latest-coq-{matrix[coq]}'
- matrix:
coq: ['8.18', '8.17', '8.16', '8.15']
coq: ['dev', '8.18', '8.17', '8.16', '8.15']
mathcomp: ['1.17.0']
build:
# keyword for docker-keeper's trigger (from docker-coq CI)
......@@ -51,7 +51,7 @@ images:
- tag: '{matrix[mathcomp]}-coq-{matrix[coq]}'
- matrix:
coq: ['8.18', '8.17', '8.16', '8.15', '8.14', '8.13']
coq: ['dev', '8.18', '8.17', '8.16', '8.15', '8.14', '8.13']
mathcomp: ['1.16.0']
build:
# keyword for docker-keeper's trigger (from docker-coq CI)
......
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment