From 52e4d1bcf3bc21a44ee7710fc9900d8729334ad4 Mon Sep 17 00:00:00 2001
From: Dmitri Naumov <github@naumov.de>
Date: Tue, 19 Feb 2019 00:15:26 +0100
Subject: [PATCH] Jenkins; Increase timeout to 6h.
---
Jenkinsfile | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/Jenkinsfile b/Jenkinsfile
index 64a43cc7737..34bf9b35874 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -9,7 +9,7 @@ pipeline {
ansiColor('xterm')
timestamps()
buildDiscarder(logRotator(numToKeepStr: '30', artifactNumToKeepStr: '10'))
- timeout(time: 5, unit: 'HOURS')
+ timeout(time: 6, unit: 'HOURS')
}
stages {
// *************************** Git Check **********************************
--
GitLab