From: Timo Heister Date: Tue, 7 Jan 2020 14:56:43 +0000 (-0500) Subject: jenkins: increase OSX timeout X-Git-Tag: v9.2.0-rc1~731^2 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=04e587a2dc182d10220aad5bf827d64b808b2f87;p=dealii.git jenkins: increase OSX timeout It turns out that builds take longer after updating the machine to a newer xcode and we regularly encounter a timeout. --- diff --git a/contrib/ci/Jenkinsfile.osx b/contrib/ci/Jenkinsfile.osx index 5c0d92165c..8258efbdb7 100644 --- a/contrib/ci/Jenkinsfile.osx +++ b/contrib/ci/Jenkinsfile.osx @@ -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