Update Jenkinsfile.develop

2023-10-20 12:00:07 +00:00
parent b69027edf2
commit c39096ce6f
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(