diff --git a/Jenkinsfile b/Jenkinsfile index 969a098f4..73771b3e4 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -1,5 +1,7 @@ pipeline { - agent {mavenbuilder} + agent { + label 'mavenbuilder' + } stages { stage ('Checkstyle') { steps {