Update Jenkinsfile

Zhao Xiaojie · web-flow · commit 05d1f92d676e · 2019-07-02T15:09:59.000+08:00
diff --git a/Jenkinsfile b/Jenkinsfile
@@ -1,6 +1,11 @@
 pipeline {
   agent any 
   
+  options {
+  disableConcurrentBuilds()
+}
+
+  
   stages{
     stage('one'){
       steps{
