diff --git a/Jenkinsfile b/Jenkinsfile index f623beea9..ca443b8dc 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -1,4 +1,7 @@ pipeline { + tools { + maven 'MAVEN' + } agent { label 'Master'} triggers { pollSCM ('* * * * *') } stages{