diff --git a/Jenkinsfile b/Jenkinsfile index b493630b3845a3cb265f02beaf5b701b05d7350a..6dcc0725d960bab927e13f8a258f0a2b36a8b920 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -1,10 +1,6 @@ pipeline { - agent { - node { - label 'SLAVE01' - } - } + agent any tools { maven 'maven3'