From 07e7a43af133b538e90c040bcd8a93d88003dfb3 Mon Sep 17 00:00:00 2001
From: Kris Booker <kristopher.booker@tomorrow.io>
Date: Wed, 3 Dec 2025 14:35:21 -0700
Subject: [PATCH] Disable concurrent builds with the same PR label.

---
 tests/ci/Jenkinsfile.ort | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/tests/ci/Jenkinsfile.ort b/tests/ci/Jenkinsfile.ort
index 42b366946c..f08e307007 100644
--- a/tests/ci/Jenkinsfile.ort
+++ b/tests/ci/Jenkinsfile.ort
@@ -1,5 +1,8 @@
 pipeline {
   agent none
+  options {
+        disableConcurrentBuilds()
+    }
   stages {
     stage('Run ORTs') {
        agent {