From 6fe83f3bb1e6c12c40cee1e40dc00354f7f24e4b Mon Sep 17 00:00:00 2001
From: Kazuhiko Sakaguchi
Date: Thu, 12 Dec 2019 22:34:21 +0900
Subject: Remove CI overlay for PR #270

---
 .gitlab-ci.yml | 79 +---------------------------------------------------------
 1 file changed, 1 insertion(+), 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"
-- 
cgit v1.2.3