Disallow all concurrent builds.

eldoriarpg · Dec 7, 2018 · 7c065e5 · 7c065e5
1 parent 853fd22
commit 7c065e5
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/Jenkinsfile b/Jenkinsfile
@@ -1,5 +1,8 @@
 pipeline {
   agent none
+  options {
+    disableConcurrentBuilds()
+  }
   stages {
     stage('Build') {
       agent {