diff --git a/Jenkinsfile b/Jenkinsfile index 6b16c4fe4..e7e7e8578 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -5,6 +5,10 @@ pipeline { pollSCM 'H/10 * * * *' } + options { + disableConcurrentBuilds() + } + stages { stage("Test") { parallel {