diff --git a/Jenkinsfile b/Jenkinsfile index 1447814..ea7fbdf 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -1,4 +1,7 @@ pipeline { + options { + disableConcurrentBuilds() + } agent { label "jenkins-maven" }