diff options
| author | Kazuhiko Sakaguchi | 2019-12-12 22:34:21 +0900 |
|---|---|---|
| committer | Kazuhiko Sakaguchi | 2019-12-18 09:22:33 +0900 |
| commit | 6fe83f3bb1e6c12c40cee1e40dc00354f7f24e4b (patch) | |
| tree | 10e592575361e04a7ee40a93bdf24f689e29648e | |
| parent | 52f106adee9009924765adc1a94de9dc4f23f56d (diff) | |
Remove CI overlay for PR #270
| -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" |