diff options
| -rw-r--r-- | .gitlab-ci.yml | 79 |
1 files changed, 1 insertions, 78 deletions
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml index 463aefd..5f02f42 100644 --- a/.gitlab-ci.yml +++ b/.gitlab-ci.yml @@ -149,8 +149,6 @@ coq-dev: - tags - merge_requests - schedules - - /^experiment\/order$/ - - /^pr-(270|388|402|419|446)$/ ci-fourcolor-8.7: extends: .ci-fourcolor @@ -177,42 +175,6 @@ ci-fourcolor-dev: variables: COQ_VERSION: "dev" -.ci-fourcolor-270: - extends: .ci - variables: - CONTRIB_URL: "https://github.com/pi8027/fourcolor.git" - CONTRIB_VERSION: fix-mathcomp-270 - script: - - make -j "${NJOBS}" - - make install - only: - - /^experiment\/order$/ - - /^pr-(270|388|402|419|446)$/ - -ci-fourcolor-8.7-270: - extends: .ci-fourcolor-270 - variables: - COQ_VERSION: "8.7" - -ci-fourcolor-8.8-270: - extends: .ci-fourcolor-270 - variables: - COQ_VERSION: "8.8" - -ci-fourcolor-8.9-270: - extends: .ci-fourcolor-270 - variables: - COQ_VERSION: "8.9" - -ci-fourcolor-8.10-270: - extends: .ci-fourcolor-270 - variables: - COQ_VERSION: "8.10" - -ci-fourcolor-dev-270: - extends: .ci-fourcolor-270 - variables: - COQ_VERSION: "dev" # The Odd Order Theorem .ci-odd-order: @@ -227,8 +189,6 @@ ci-fourcolor-dev-270: - tags - merge_requests - schedules - - /^experiment\/order$/ - - /^pr-(270|388|402|419|446)$/ ci-odd-order-8.7: extends: .ci-odd-order @@ -255,43 +215,6 @@ ci-odd-order-dev: variables: COQ_VERSION: "dev" -.ci-odd-order-270: - extends: .ci - variables: - CONTRIB_URL: "https://github.com/pi8027/odd-order.git" - CONTRIB_VERSION: fix-mathcomp-270 - script: - - make -j "${NJOBS}" - - make install - only: - - /^experiment\/order$/ - - /^pr-(270|388|402|419|446)$/ - -ci-odd-order-8.7-270: - extends: .ci-odd-order-270 - variables: - COQ_VERSION: "8.7" - -ci-odd-order-8.8-270: - extends: .ci-odd-order-270 - variables: - COQ_VERSION: "8.8" - -ci-odd-order-8.9-270: - extends: .ci-odd-order-270 - variables: - COQ_VERSION: "8.9" - -ci-odd-order-8.10-270: - extends: .ci-odd-order-270 - variables: - COQ_VERSION: "8.10" - -ci-odd-order-dev-270: - extends: .ci-odd-order-270 - variables: - COQ_VERSION: "dev" - # The Lemma Overloading library .ci-lemma-overloading: extends: .ci @@ -347,7 +270,7 @@ ci-bigenough-8.9: variables: COQ_VERSION: "8.9" -ci-bigenough-8.9: +ci-bigenough-8.10: extends: .ci-bigenough variables: COQ_VERSION: "8.10" |