]> https://gitweb.dealii.org/ - dealii.git/commit
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)
commit04e587a2dc182d10220aad5bf827d64b808b2f87
tree77bad0b663f6e40e5cdb05f3efdf98b9cd7b3c31
parentc1979212c341369b5cfccabb0143b65cb103be40
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.
contrib/ci/Jenkinsfile.osx

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.