From 4143770db28913b8361cf2f0bbce7d9ddd5f52e0 Mon Sep 17 00:00:00 2001
From: Evan Petersen <emp2221@columbia.edu>
Date: Wed, 29 Oct 2025 16:46:13 -0400
Subject: [PATCH] Add a timeout to the Jenkins jobs

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

diff --git a/Jenkinsfile b/Jenkinsfile
index fe42526..7a5b84f 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -25,6 +25,9 @@ currentBuild.result = "SUCCESS"
 
 try {
     node {
+        options {
+            timeout(time:5, units: 'MINUTES')
+        }
         stage 'Checkout'
         checkout scm
         checkoutDir = pwd()