diff --git a/Jenkinsfile b/Jenkinsfile index 9531646..23dc88e 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -1,7 +1,7 @@ pipeline { agent { label 'linux' } tools { - maven 'M3' + maven 'M2' } stages { stage('checkout') {