From 4c382bc2df8918bc4a689b64bbf7770b9ab61580 Mon Sep 17 00:00:00 2001
From: John Blum <jblum@vmware.com>
Date: Tue, 7 Dec 2021 13:26:37 -0800
Subject: [PATCH] Set timeout (15 minutes) in the Jenkins CI 'Deploy Docs' and
 'Deploy Artifacts' build stages.

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

diff --git a/Jenkinsfile b/Jenkinsfile
index e6313e6..2ebe8b8 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -55,6 +55,9 @@ pipeline {
 		}
 
 		stage ('Deploy Docs') {
+			options {
+				timeout(time: 15, unit: "MINUTES")
+			}
 			steps {
 				script {
 					docker.withRegistry('', 'hub.docker.com-springbuildmaster') {
@@ -75,6 +78,9 @@ pipeline {
 		}
 
 		stage ('Deploy Artifacts') {
+			options {
+				timeout(time: 15, unit: "MINUTES")
+			}
 			steps {
 				script {
 					docker.withRegistry('', 'hub.docker.com-springbuildmaster') {