]> https://gitweb.dealii.org/ - dealii.git/commit
CI: kill older running builds
authorTimo Heister <timo.heister@gmail.com>
Sun, 24 Mar 2019 23:40:20 +0000 (17:40 -0600)
committerTimo Heister <timo.heister@gmail.com>
Mon, 25 Mar 2019 14:47:43 +0000 (08:47 -0600)
commita5577ea660d98051e9c8d682485f9749e85b2a8d
treecda605854dca0ff4f761035316a1ef0f2ad55dfd
parente44af7f35f2fa57ce52b43ee7b6cb55195e8374f
CI: kill older running builds
Jenkinsfile
contrib/ci/Jenkinsfile.osx
contrib/ci/Jenkinsfile.tidy

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.