Merge pull request #2972 from stan-dev/jenkins

jenkins: use builtin disableConcurrentBuilds abortPrevious
stan-dev · Nov 9, 2023 · e43fc08 · e43fc08
2 parents 35ac188 + 650efe9
commit e43fc08
Showing 1 changed file with 1 addition and 12 deletions.
diff --git a/Jenkinsfile b/Jenkinsfile
@@ -45,6 +45,7 @@ pipeline {
         preserveStashes(buildCount: 7)
         parallelsAlwaysFailFast()
         buildDiscarder(logRotator(numToKeepStr: '20', daysToKeepStr: '30'))
+        disableConcurrentBuilds(abortPrevious: true)
     }
     environment {
         STAN_NUM_THREADS = 4
@@ -66,18 +67,6 @@ pipeline {
     }
     stages {
 
-        stage('Kill previous builds') {
-            when {
-                not { branch 'develop' }
-                not { branch 'master' }
-            }
-            steps {
-                script {
-                    utils.killOldBuilds()
-                }
-            }
-        }
-
         stage("Clang-format") {
             agent {
                 docker {