diff --git a/jenkins/Jenkinsfile b/jenkins/Jenkinsfile index 467f4fe..a0d1547 100644 --- a/jenkins/Jenkinsfile +++ b/jenkins/Jenkinsfile @@ -1,5 +1,8 @@ pipeline { - agent none + agent none + options { + skipStagesAfterUnstable() + } stages { stage('Build') { agent {