]> https://gitweb.dealii.org/ - dealii.git/commitdiff
CI: Jenkins increase timeout 14808/head
authorTimo Heister <timo.heister@gmail.com>
Thu, 16 Feb 2023 14:35:27 +0000 (09:35 -0500)
committerTimo Heister <timo.heister@gmail.com>
Thu, 16 Feb 2023 14:35:27 +0000 (09:35 -0500)
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.

contrib/ci/Jenkinsfile.mpi

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

In the beginning the Universe was created. This has made a lot of people very angry and has been widely regarded as a bad move.

Douglas Adams


Typeset in Trocchi and Trocchi Bold Sans Serif.