diff options
| author | Cyril Cohen | 2020-06-08 16:47:10 +0200 |
|---|---|---|
| committer | Cyril Cohen | 2020-06-08 16:48:55 +0200 |
| commit | 3b0c55c885a34ff7b4a4f461d548afe9277b76ad (patch) | |
| tree | 217a92742ad7d532d5681b4d292837d3bff20284 | |
| parent | ed58f3059881b6179ec36448d7d4f6d74030b686 (diff) | |
More CI
- fourcolor 8.11 and 8.12
- odd-order 8.11 and 8.12
- bigenough 8.11 and 8.12
- finmap 8.11 and 8.12
| -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 945c664..ef06cd1 100644 --- a/.gitlab-ci.yml +++ b/.gitlab-ci.yml @@ -173,6 +173,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: @@ -212,6 +222,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: @@ -277,6 +297,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: @@ -370,6 +400,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: @@ -390,6 +430,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.10: + extends: .ci-fcsl-pcm + variables: + COQ_VERSION: "8.11" + ci-fcsl-pcm-dev: extends: .ci-fcsl-pcm variables: |