From a61d68d26da1b1566b9344824fef1f7cb4a3eba7 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Fr=C3=A9d=C3=A9ric=20P=C3=A9ters?= <fpeters@entrouvert.com>
Date: Mon, 15 May 2023 16:38:53 +0200
Subject: [PATCH] ci: disable concurrent builds (#77617)

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

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