From 54a1e94df9f3dbdefddba83460b51731ba6997f4 Mon Sep 17 00:00:00 2001
From: John Blum <jblum@vmware.com>
Date: Wed, 17 May 2023 12:18:32 -0700
Subject: [PATCH] Increase Jenkins CI build timeout to 30 minutes.

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

diff --git a/Jenkinsfile b/Jenkinsfile
index a5770320..c2807400 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -22,7 +22,7 @@ pipeline {
 
 		stage('Build') {
 			options {
-				timeout(time: 15, unit: "MINUTES")
+				timeout(time: 30, unit: "MINUTES")
 			}
 			steps {
 				script {