From cbde97b7a1c95b45b0cb8a534bf7dd65b5847bdf Mon Sep 17 00:00:00 2001
From: Ralf Jung <post@ralfj.de>
Date: Thu, 21 Feb 2019 13:40:12 +0100
Subject: [PATCH] stop doing CI on this branch

---
 .gitlab-ci.yml | 37 -------------------------------------
 1 file changed, 37 deletions(-)
 delete mode 100644 .gitlab-ci.yml

diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
deleted file mode 100644
index 6d9a3921..00000000
--- a/.gitlab-ci.yml
+++ /dev/null
@@ -1,37 +0,0 @@
-image: ralfjung/opam-ci:opam2
-
-stages:
-  - build
-
-variables:
-  CPU_CORES: "10"
-
-.template: &template
-  stage: build
-  tags:
-  - fp
-  script:
-  - git clone https://gitlab.mpi-sws.org/iris/ci.git ci -b opam2
-  - ci/buildjob
-  cache:
-    key: "$CI_JOB_NAME-stdpp"
-    paths:
-    - opamroot/
-  only:
-  - stdpp
-  - /^ci/
-  except:
-  - triggers
-  - schedules
-
-## Build jobs
-
-build-coq.8.8.0:
-  <<: *template
-  variables:
-    OPAM_PINS: "coq version 8.8.0"
-    TIMING_PROJECT: "fairis"
-    TIMING_CONF: "coq-8.8.0"
-    AXIOMS_IGNORE: "1"
-  tags:
-  - fp-timing
-- 
GitLab