]> https://gitweb.dealii.org/ - dealii.git/commitdiff
jenkins: increase OSX timeout 9244/head
authorTimo Heister <timo.heister@gmail.com>
Tue, 7 Jan 2020 14:56:43 +0000 (09:56 -0500)
committerTimo Heister <timo.heister@gmail.com>
Tue, 7 Jan 2020 14:56:43 +0000 (09:56 -0500)
It turns out that builds take longer after updating the machine to a
newer xcode and we regularly encounter a timeout.

contrib/ci/Jenkinsfile.osx

index 5c0d92165ca2bf6cc07a565c87f82588aab9d098..8258efbdb753e4187fc9c1336e68f7eb1663883d 100644 (file)
@@ -84,7 +84,7 @@ pipeline
         {
           steps
           {
-            timeout(time: 1, unit: 'HOURS')
+            timeout(time: 2, 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.