AW-5371 Release 2023.08 libraries

2023-07-30 10:53:08 +02:00
parent a9d42484cc
commit d9848a8ba3
3 changed files with 3 additions and 1 deletions
--- a/Jenkinsfile.develop
+++ b/Jenkinsfile.develop
@@ -4,6 +4,7 @@ pipeline {
  agent any;
  options {
    copyArtifactPermission projectNames: env.allProjectsArtifactPermission;
+    disableConcurrentBuilds abortPrevious: true;
  }
  stages {
    stage('FarmmapsLibBuildAll') {