From d530400faffaab1621983340d35b02dfd6943fb6 Mon Sep 17 00:00:00 2001
From: Emmanuel Cazenave <ecazenave@entrouvert.com>
Date: Wed, 15 May 2019 18:26:57 +0200
Subject: [PATCH] jenkins: disable concurrent builds (#33127)

---
 Jenkinsfile | 1 +
 1 file changed, 1 insertion(+)

diff --git a/Jenkinsfile b/Jenkinsfile
index 2733978e..ce6b5e86 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -2,6 +2,7 @@
 
 pipeline {
     agent any
+    options { disableConcurrentBuilds() }
     stages {
         stage('Unit Tests') {
             steps {