diff --git a/Jenkinsfile b/Jenkinsfile index 93796b6..2ffb95f 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -1,5 +1,8 @@ pipeline { agent none + options { + skipStagesAfterUnstable() + } stages { stage('Build') { agent {