diff options
| author | Cyril Cohen | 2020-09-27 12:43:46 +0200 |
|---|---|---|
| committer | GitHub | 2020-09-27 12:43:46 +0200 |
| commit | 6d8f919bbc6a103378005d282fb6018bb63c5026 (patch) | |
| tree | e2bc5b8a31411bee6e8adba97267d3da5408b2c8 | |
| parent | bff7cdfb8ee65d43303b6fffba2aaf9818e2cf49 (diff) | |
| parent | 9c4bb59c2abe19b65f08678fcb35d43d7476fdd9 (diff) | |
Merge pull request #530 from CohenCyril/moreCI
More CI
| -rw-r--r-- | .gitlab-ci.yml | 50 |
1 files changed, 50 insertions, 0 deletions
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml index 443c93a..4eaf1ee 100644 --- a/.gitlab-ci.yml +++ b/.gitlab-ci.yml @@ -248,6 +248,16 @@ ci-fourcolor-8.10: variables: COQ_VERSION: "8.10" +ci-fourcolor-8.11: + extends: .ci-fourcolor + variables: + COQ_VERSION: "8.11" + +ci-fourcolor-8.12: + extends: .ci-fourcolor + variables: + COQ_VERSION: "8.12" + ci-fourcolor-dev: extends: .ci-fourcolor variables: @@ -287,6 +297,16 @@ ci-odd-order-8.10: variables: COQ_VERSION: "8.10" +ci-odd-order-8.11: + extends: .ci-odd-order + variables: + COQ_VERSION: "8.11" + +ci-odd-order-8.12: + extends: .ci-odd-order + variables: + COQ_VERSION: "8.12" + ci-odd-order-dev: extends: .ci-odd-order variables: @@ -352,6 +372,16 @@ ci-bigenough-8.10: variables: COQ_VERSION: "8.10" +ci-bigenough-8.11: + extends: .ci-bigenough + variables: + COQ_VERSION: "8.11" + +ci-bigenough-8.12: + extends: .ci-bigenough + variables: + COQ_VERSION: "8.12" + ci-bigenough-dev: extends: .ci-bigenough variables: @@ -445,6 +475,16 @@ ci-finmap-8.10: variables: COQ_VERSION: "8.10" +ci-finmap-8.11: + extends: .ci-finmap + variables: + COQ_VERSION: "8.11" + +ci-finmap-8.12: + extends: .ci-finmap + variables: + COQ_VERSION: "8.12" + ci-finmap-dev: extends: .ci-finmap variables: @@ -465,6 +505,16 @@ ci-fcsl-pcm-8.10: variables: COQ_VERSION: "8.10" +ci-fcsl-pcm-8.11: + extends: .ci-fcsl-pcm + variables: + COQ_VERSION: "8.11" + +ci-fcsl-pcm-8.12: + extends: .ci-fcsl-pcm + variables: + COQ_VERSION: "8.12" + ci-fcsl-pcm-dev: extends: .ci-fcsl-pcm variables: |