From 6a79b74f4ab84c81f71c2764c6a0b896d23f23b9 Mon Sep 17 00:00:00 2001
From: Reiner Jung <reiner.jung@email.uni-kiel.de>
Date: Wed, 25 Nov 2020 16:40:12 +0100
Subject: [PATCH] Switched agent.
---
Jenkinsfile | 8 +++++++-
1 file changed, 7 insertions(+), 1 deletion(-)
diff --git a/Jenkinsfile b/Jenkinsfile
index 2e0c55d..64458e3 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -2,7 +2,13 @@
pipeline {
- agent { label "build-node8" }
+ agent {
+ docker {
+ image 'kieker/kieker-build:openjdk8'
+ alwaysPull true
+ args env.DOCKER_ARGS
+ }
+ }
environment {
KEYSTORE = credentials('kieker-irl-key')
--
GitLab