From: Timo Heister <timo.heister@gmail.com>
Date: Thu, 16 Feb 2023 14:35:27 +0000 (-0500)
Subject: CI: Jenkins increase timeout
X-Git-Tag: v9.5.0-rc1~545^2
X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=refs%2Fpull%2F14808%2Fhead;p=dealii.git

CI: Jenkins increase timeout

With all MPI tests we are now often close to the 2 hour mark (depends on
test ordering). Increase the timeout to avoid problems like in #14803.
---

diff --git a/contrib/ci/Jenkinsfile.mpi b/contrib/ci/Jenkinsfile.mpi
index 9ff1b3fd08..ffb4f3a49d 100644
--- a/contrib/ci/Jenkinsfile.mpi
+++ b/contrib/ci/Jenkinsfile.mpi
@@ -89,7 +89,7 @@ pipeline
         {
           steps
           {
-            timeout(time: 2, unit: 'HOURS')
+            timeout(time: 4, unit: 'HOURS')
             {
               sh "echo \"building on node ${env.NODE_NAME}\""
               sh '''#!/bin/bash