From d8beae701c6e5b4bdd96c7806addb66d236a020b Mon Sep 17 00:00:00 2001
From: Reiner Jung <reiner.jung@email.uni-kiel.de>
Date: Sat, 21 Nov 2020 11:03:20 +0100
Subject: [PATCH] Fixed timeout
---
Jenkinsfile | 6 +-----
1 file changed, 1 insertion(+), 5 deletions(-)
diff --git a/Jenkinsfile b/Jenkinsfile
index 973fcba..84aa637 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -2,10 +2,6 @@
pipeline {
- options {
- timeout(time: 4, unit: 'HOURS')
- }
-
agent { label "build-node8" }
environment {
@@ -14,7 +10,7 @@ pipeline {
options {
buildDiscarder logRotator(artifactNumToKeepStr: '10')
- timeout(time: 150, unit: 'MINUTES')
+ timeout(time: 4, unit: 'HOURS')
retry(1)
parallelsAlwaysFailFast()
}
--
GitLab