Force jenkins jobs to run in serial, not concurrently

Dyalog · Jul 6, 2023 · 4e3cc7d · 4e3cc7d
1 parent 882b906
commit 4e3cc7d
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/Jenkinsfile b/Jenkinsfile
@@ -1,4 +1,7 @@
 pipeline {
+  options {
+    disableConcurrentBuilds()
+  }
   agent none
   stages {
     stage('Build Linux & Windows') {