ci(jenkins): cancel previous running builds (elastic#2983)

simitt · Dec 18, 2019 · 1fc8b63 · 1fc8b63
1 parent 91936c6
commit 1fc8b63
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/Jenkinsfile b/Jenkinsfile
@@ -48,6 +48,7 @@ pipeline {
       }
       options { skipDefaultCheckout() }
       steps {
+        pipelineManager([ cancelPreviousRunningBuilds: [ when: 'PR' ] ])
         deleteDir()
         gitCheckout(basedir: "${BASE_DIR}")
         stash allowEmpty: true, name: 'source', useDefaultExcludes: false