From abfc1cbdd510bd1b1d92a327f5b77d49878fb293 Mon Sep 17 00:00:00 2001
From: Reiner Jung <reiner.jung@email.uni-kiel.de>
Date: Fri, 20 Nov 2020 16:22:53 +0100
Subject: [PATCH] changed agent.

---
 Jenkinsfile | 8 +-------
 1 file changed, 1 insertion(+), 7 deletions(-)

diff --git a/Jenkinsfile b/Jenkinsfile
index d21dee4..4f74515 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -2,13 +2,7 @@
 
 pipeline {
 
-  agent {
-    docker {
-      image 'kieker/kieker-build:openjdk8'
-      alwaysPull true
-      args env.DOCKER_ARGS
-    }
-  }
+  agent build-node8
 
   environment {
     DOCKER_ARGS = ''
-- 
GitLab