From 38b2ae99ed4cb8c20364d93f16d1ca014f6d928a Mon Sep 17 00:00:00 2001
From: John Blum <jblum@vmware.com>
Date: Thu, 2 Dec 2021 22:56:02 -0800
Subject: [PATCH] Set timeout for the 'Deploy Docs' and 'Deploy Artifacts'
 Jenkins build stages.

Set timeout to 15 minutes.
---
 Jenkinsfile | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/Jenkinsfile b/Jenkinsfile
index a1fa2b6c..56e66aca 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -61,6 +61,9 @@ pipeline {
 		}
 
 		stage ('Deploy Docs') {
+			options {
+				timeout(time: 15, unit: "MINUTES")
+			}
 			steps {
 				script {
 					docker.withRegistry('', 'hub.docker.com-springbuildmaster') {
@@ -81,6 +84,9 @@ pipeline {
 		}
 
 		stage ('Deploy Artifacts') {
+			options {
+				timeout(time: 15, unit: "MINUTES")
+			}
 			steps {
 				script {
 					docker.withRegistry('', 'hub.docker.com-springbuildmaster') {