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