From 23d3ae6c51320b2a30d470348b86d993f7957bfc Mon Sep 17 00:00:00 2001
From: Andreas Schmidt <schmidt@nt.uni-saarland.de>
Date: Thu, 26 Jan 2017 16:00:09 +0100
Subject: [PATCH] Update .gitlab-ci.yml to ensure properly configured runners
 are used.

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

diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 830b8e83..09003a36 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -10,6 +10,9 @@ stages:
 
 build_prrt:
   stage: build
+  tags:
+    - cmake
+    - python3
   artifacts:
     name: "$CI_BUILD_REF_NAME$"
     untracked: true
@@ -26,6 +29,8 @@ build_prrt:
 
 test_prrt_mem:
   stage: test
+  tags:
+    - valgrind
   script:
     - which valgrind
     - export prrtResult=0
@@ -45,6 +50,8 @@ test_prrt_functional:
 
 package_pypi:
   stage: deploy
+  tags:
+    - python3
   script:
     - echo "[distutils]" >> ~/.pypirc
     - echo "index-servers =" >> ~/.pypirc
-- 
GitLab