From 51c825c290d51ac238ba1c53eb87228ad5d919de Mon Sep 17 00:00:00 2001
From: Lars Bilke <lars.bilke@ufz.de>
Date: Fri, 22 Jun 2018 11:06:16 +0200
Subject: [PATCH] [Jenkins] Added 3 hour timeout to Jenkins jobs.
---
Jenkinsfile | 1 +
1 file changed, 1 insertion(+)
diff --git a/Jenkinsfile b/Jenkinsfile
index dc4f6685cff..1c9312ee83c 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -9,6 +9,7 @@ pipeline {
ansiColor('xterm')
timestamps()
buildDiscarder(logRotator(numToKeepStr: '30', artifactNumToKeepStr: '10'))
+ timeout(time: 3, unit: 'HOURS')
}
stages {
// *************************** Git Check **********************************
--
GitLab