diff --git a/Jenkinsfile b/Jenkinsfile index 3228224e..74b76f78 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -1,4 +1,7 @@ pipeline { + options { + disableConcurrentBuilds() + } agent none stages { stage('Build Linux & Windows') {