diff --git a/Jenkinsfile b/Jenkinsfile index 102b2a0821..f030627907 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -96,6 +96,7 @@ pipeline { preserveStashes(buildCount: 7) parallelsAlwaysFailFast() buildDiscarder(logRotator(numToKeepStr: '20', daysToKeepStr: '30')) + disableConcurrentBuilds(abortPrevious: true) } environment { GCC = 'g++' @@ -114,19 +115,6 @@ pipeline { OPENCL_PLATFORM_ID_GPU = 0 } stages { - - stage('Kill previous builds') { - when { - not { branch 'develop' } - not { branch 'master' } - not { branch 'downstream_tests' } - } - steps { - script { - utils.killOldBuilds() - } - } - } stage("Clang-format") { agent { docker {