diff --git a/Jenkinsfile b/Jenkinsfile index 2e0c55d09b26e2f30e99900ec7c6a1d8cadf8539..64458e3e76b366b1745ddc85922a0b0e89df6499 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')