From 6ce940475d3983e15c25bbf9ac209c7624c95b4d Mon Sep 17 00:00:00 2001
From: Reiner Jung <reiner.jung@email.uni-kiel.de>
Date: Fri, 20 Nov 2020 16:23:45 +0100
Subject: [PATCH] Added label again
---
Jenkinsfile | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/Jenkinsfile b/Jenkinsfile
index 4f74515..af641c9 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -2,7 +2,7 @@
pipeline {
- agent build-node8
+ agent { label "build-node8" }
environment {
DOCKER_ARGS = ''
--
GitLab