Merge pull request #1 from i0n/master

disable concurrent builds in default environments
vishalraina · Aug 1, 2018 · 391b40c · 391b40c
2 parents 87d766a + ed6aa31
commit 391b40c
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/Jenkinsfile b/Jenkinsfile
@@ -1,4 +1,7 @@
 pipeline {
+  options {
+    disableConcurrentBuilds()
+  }
   agent {
     label "jenkins-maven"
   }