diff --git a/Jenkinsfile b/Jenkinsfile index 19ae32e52..7176ec2a6 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -1,5 +1,8 @@ pipeline { agent none + options { + disableConcurrentBuilds() + } stages { stage('Build') { agent {