diff --git a/Jenkinsfile b/Jenkinsfile index bffa160bc..164ba4629 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -1,9 +1,7 @@ pipeline { agent any - tools { - maven 'M2_HOME' - } + stages { stage('Checkout') {