From 4847caa2a7e7dcc87fceb065b864e15789712cdc Mon Sep 17 00:00:00 2001
From: Dmitri Naumov <github@naumov.de>
Date: Fri, 8 Feb 2019 19:43:18 +0100
Subject: [PATCH] Increase Jenkins' timeout to 5 hours.
Needed for the large tests to finish.
---
Jenkinsfile | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/Jenkinsfile b/Jenkinsfile
index b12f81bffd4..42fcf6be1d7 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -9,7 +9,7 @@ pipeline {
ansiColor('xterm')
timestamps()
buildDiscarder(logRotator(numToKeepStr: '30', artifactNumToKeepStr: '10'))
- timeout(time: 4, unit: 'HOURS')
+ timeout(time: 5, unit: 'HOURS')
}
stages {
// *************************** Git Check **********************************
--
GitLab