From 73524c237e473f9e2d6018a1a7770431d5ef3cfd Mon Sep 17 00:00:00 2001
From: Dominic Kempf <dominic.kempf@iwr.uni-heidelberg.de>
Date: Mon, 4 Jun 2018 13:55:21 +0200
Subject: [PATCH] Tag for HD runners

---
 .gitlab-ci.yml | 9 ++++++---
 1 file changed, 6 insertions(+), 3 deletions(-)

diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index a13e2872..61dd0d63 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -23,16 +23,19 @@ git--gcc:
   image: registry.dune-project.org/joe/dune-perftool-ci/perftool-base:git
   script: duneci-standard-test
   tags:
-    - cores:20
+    - "cores:20"
+    - "perftool"
 
 git--clang:
   image: registry.dune-project.org/joe/dune-perftool-ci/perftool-base:git
   script: duneci-standard-test --opts=/duneci/opts.clang
   tags:
-    - cores:20
+    - "cores:20"
+    - "perftool"
 
 git--pacxx:
   image: registry.dune-project.org/joe/dune-perftool-ci/pacxx-perftool-base:git
   script: duneci-standard-test --opts=/duneci/opts.pacxx
   tags:
-    - cores:20
+    - "cores:20"
+    - "perftool"
-- 
GitLab