From 9baf3ecf3311e20197dd742327398b1a3c815fe1 Mon Sep 17 00:00:00 2001
From: Reiner Jung <reiner.jung@email.uni-kiel.de>
Date: Fri, 20 Nov 2020 16:13:04 +0100
Subject: [PATCH] Set label

---
 Jenkinsfile | 1 +
 1 file changed, 1 insertion(+)

diff --git a/Jenkinsfile b/Jenkinsfile
index d21dee4..2d2c863 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -3,6 +3,7 @@
 pipeline {
 
   agent {
+    label 'build-node8'
     docker {
       image 'kieker/kieker-build:openjdk8'
       alwaysPull true
-- 
GitLab