Build scripts: disable concurrent builds

2026-08-22 02:33:47 +08:00 · 2023-06-18 20:23:02 -04:00
parent a7771a66aa
commit fe08549ded
1 changed files with 4 additions and 0 deletions
@@ -1,6 +1,10 @@
 pipeline {
    agent any

+    options {
+        disableConcurrentBuilds()
+    }
+
    stages {
        stage('Build dev-c3') {
            when {