From 2aa4b3aa529163a93565d8b56a8060fa9d6b2f48 Mon Sep 17 00:00:00 2001
From: Ravi Srinivasan <rsriniva@users.noreply.github.com>
Date: Thu, 04 Jul 2019 07:50:11 +0200
Subject: [PATCH] increased jenkins pipeline timeout value
---
books/jenkins/Jenkinsfile | 6 +++---
1 files changed, 3 insertions(+), 3 deletions(-)
diff --git a/books/jenkins/Jenkinsfile b/books/jenkins/Jenkinsfile
index 21a465f..c862086 100644
--- a/books/jenkins/Jenkinsfile
+++ b/books/jenkins/Jenkinsfile
@@ -1,7 +1,7 @@
pipeline {
options {
- // set a timeout of 30 minutes for this pipeline
- timeout(time: 30, unit: 'MINUTES')
+ // set a timeout of 60 minutes for this pipeline
+ timeout(time: 60, unit: 'MINUTES')
}
agent {
node {
@@ -133,4 +133,4 @@
}
}
}
-}
\ No newline at end of file
+}
--
Gitblit v1.9.3