From 0dd0d35ce40df67d4797c400f9859af0fb607707 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, 9 insertions(+)

diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 80213f39..61dd0d63 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -22,11 +22,20 @@ before_script:
 git--gcc:
   image: registry.dune-project.org/joe/dune-perftool-ci/perftool-base:git
   script: duneci-standard-test
+  tags:
+    - "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"
+    - "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"
+    - "perftool"
-- 
GitLab