diff --git a/Jenkinsfile b/Jenkinsfile index a5ad595d7..72988ce92 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -2,6 +2,9 @@ pipeline { agent any + options { + disableConcurrentBuilds() + } environment { REGISTRY = 'registry.verdnatura.es' DOCKER_HOST_1 = 'tcp://vch1.verdnatura.es:2376'