Merge pull request #3262 from stan-dev/ci/jenkins-downstream-concurrent

Properly allow multiple downstream jenkins runs
stan-dev · Jan 28, 2024 · 29c60f7 · 29c60f7
2 parents d402c36 + 68df3c6
commit 29c60f7
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/Jenkinsfile b/Jenkinsfile
@@ -96,7 +96,7 @@ pipeline {
         preserveStashes(buildCount: 7)
         parallelsAlwaysFailFast()
         buildDiscarder(logRotator(numToKeepStr: '20', daysToKeepStr: '30'))
-        disableConcurrentBuilds(abortPrevious: env.BRANCH_NAME != "downstream_tests" || env.BRANCH_NAME != "downstream_hotfix")
+        disableConcurrentBuilds(abortPrevious: env.BRANCH_NAME != "downstream_tests" && env.BRANCH_NAME != "downstream_hotfix")
     }
     environment {
         GCC = 'g++'