From 5cbb1ad8409de8ac5d4315948dd9bc7f33cef5ea 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

Move timeout out of node\{\}

Change 'options' to 'checkoutOption'
---
 Jenkinsfile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Jenkinsfile b/Jenkinsfile
index 3e0c7d0..a1bf932 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -24,7 +24,7 @@ def err = null
 currentBuild.result = "SUCCESS"
 
 try {
-    options {
+    checkoutOption {
         timeout(time:5, units: 'MINUTES')
     }
     node {