diff --git a/Jenkinsfile b/Jenkinsfile index 83baea8eb..0a366403b 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -1,4 +1,5 @@ pipeline { + agent any stages { stage('Maven install') { agent {