Update Jenkinsfile.develop

2023-10-20 12:00:17 +00:00
parent 7f5f676fff
commit 1aa4400721
1 changed files with 1 additions and 1 deletions
--- a/Jenkinsfile.develop
+++ b/Jenkinsfile.develop
@@ -4,7 +4,7 @@ pipeline {
  agent any;
  options {
    copyArtifactPermission projectNames: env.allProjectsArtifactPermission;
-    disableConcurrentBuilds abortPrevious: true;
+    disableConcurrentBuilds();
  }
  triggers {
    upstream(