From 43371d2a41e20d8a43721bdc945a09a2f3755349 Mon Sep 17 00:00:00 2001
From: Ralf Jung <jung@mpi-sws.org>
Date: Tue, 18 Jun 2019 13:57:30 +0200
Subject: [PATCH] prepare for API-triggered builds

---
 .gitlab-ci.yml | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 1b6b3e0..1f03e57 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -23,6 +23,7 @@ variables:
   except:
   - triggers
   - schedules
+  - api
 
 ## Build jobs
 
@@ -43,3 +44,4 @@ build-iris.dev:
   only:
   - triggers
   - schedules
+  - api
-- 
GitLab