]> https://gitweb.dealii.org/ - dealii.git/commit
projects / dealii.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: c197921) | patch
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
tree77bad0b663f6e40e5cdb05f3efdf98b9cd7b3c31tree | snapshot
parentc1979212c341369b5cfccabb0143b65cb103be40commit | diff
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 diff | blob | history
Mirror of the development repository for deal.II

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.