]> https://gitweb.dealii.org/ - dealii.git/commit
projects / dealii.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 8b02824) | patch
do not build release on github actions OSX 9851/head
authorTimo Heister <timo.heister@gmail.com>
Tue, 7 Apr 2020 18:15:29 +0000 (14:15 -0400)
committerTimo Heister <timo.heister@gmail.com>
Tue, 7 Apr 2020 18:16:15 +0000 (14:16 -0400)
commit75177ee4bc1b93f1a7b33100072107a760dc49e9
tree9428c14ad03945eabd32a78e45010ca1c8368951tree | snapshot
parent8b02824ef1ad5f227331a8f2746e950b1b81059bcommit | diff
do not build release on github actions OSX

revert #9844

Github only does 5 parallel OSX builds per projectand now each of them
takes close to 2 hours. This is a bit too slow.
.github/workflows/main.yml 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.