From 49398ebe89cc50e61d3f799057694b3178b1dc9b Mon Sep 17 00:00:00 2001
From: John Blum <jblum@vmware.com>
Date: Tue, 30 Mar 2021 17:02:37 -0700
Subject: [PATCH] Change Jenkins CI build timeout to 15 minutes.

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

diff --git a/Jenkinsfile b/Jenkinsfile
index a5fd1174..a6f1cf3b 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -11,7 +11,7 @@ currentBuild.result = SUCCESS
 try {
 	parallel check: {
 		stage('Check') {
-			timeout(time: 10, unit: 'MINUTES') {
+			timeout(time: 15, unit: 'MINUTES') {
 				node('linux') {
 					checkout scm
 					try {