diff --git a/Jenkinsfile b/Jenkinsfile index e9b4981..b595c3d 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -1,5 +1,8 @@ pipeline { agent any + options { + disableConcurrentBuilds() + } stages { stage('Télécharger l\'export OSM de la France') {