diff --git a/jenkins/Jenkinsfile b/jenkins/Jenkinsfile index 52eed25843..c3eaf00530 100644 --- a/jenkins/Jenkinsfile +++ b/jenkins/Jenkinsfile @@ -1,5 +1,11 @@ pipeline { agent any + tools { + maven "Maven 3.9.9" + } + options { + skipStagesAfterUnstable() + } stages { stage('Build') { steps { @@ -16,9 +22,9 @@ pipeline { } } } - stage('Deliver') { + stage('Deliver') { steps { - sh './jenkins/scripts/deliver.sh' + sh './jenkins/scripts/deliver.sh' } } stage('Complete') {