From 9a47eae02ad0fd5ca48848ae77391a310d4b1cc3 Mon Sep 17 00:00:00 2001
From: Ralf Jung <jung@mpi-sws.org>
Date: Fri, 16 Feb 2018 11:04:08 +0100
Subject: [PATCH] CI: treat schedules like triggers; rely on nightly build for
 iris-examples like everything else

---
 .gitlab-ci.yml | 12 +-----------
 1 file changed, 1 insertion(+), 11 deletions(-)

diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 5172ed408..0e1b7fa1d 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -2,7 +2,6 @@ image: ralfjung/opam-ci:latest
 
 stages:
   - build
-  - reverse-deps
 
 variables:
   CPU_CORES: "10"
@@ -32,16 +31,7 @@ variables:
   - /^ci/
   except:
   - triggers
-
-reverse-deps:
-  stage: reverse-deps
-  script:
-  # Send a trigger to reverse dependencies to have them tested
-  - curl --fail -X POST -F "token=$IRIS_EXAMPLES_SECRET" -F "ref=master" -F "variables[IRIS_REV]=$CI_COMMIT_SHA" https://gitlab.mpi-sws.org/api/v4/projects/615/trigger/pipeline
-  only:
-  - master
-  except:
-  - triggers
+  - schedules
 
 ## Build jobs
 
-- 
GitLab