From 93ecd31d3d5f94d03fd314e2765f45c467bba731 Mon Sep 17 00:00:00 2001
From: Adeeb Shihadeh <adeebshihadeh@gmail.com>
Date: Wed, 7 Dec 2022 22:23:41 -0800
Subject: [PATCH] don't clog up jenkins build queue

---
 Jenkinsfile | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/Jenkinsfile b/Jenkinsfile
index 3ea51d39..320f5ece 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -19,6 +19,11 @@ pipeline {
     PARTIAL_TESTS = "${env.BRANCH_NAME == 'master' ? ' ' : '1'}"
     DOCKER_IMAGE_TAG = "panda:build-${env.GIT_COMMIT}"
   }
+  options {
+    timeout(time: 3, unit: 'HOURS')
+    disableConcurrentBuilds(abortPrevious: env.BRANCH_NAME != 'master')
+  }
+
   stages {
     stage ('Acquire resource locks') {
       options {