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 9ff1b3fd08354e9a4fdf9a3cdef8b701c27aff7b..ffb4f3a49dd58dd17b8d9cc6cc7ee1a1f5d505d8 100644 (file)
--- 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