]> https://gitweb.dealii.org/ - dealii.git/commit
[CI]: cleanup workspaces, document, simplify tidy 7718/head
authorTimo Heister <timo.heister@gmail.com>
Mon, 11 Feb 2019 00:23:56 +0000 (17:23 -0700)
committerTimo Heister <timo.heister@gmail.com>
Mon, 11 Feb 2019 00:25:04 +0000 (17:25 -0700)
commit666d0580a97aa250c0ad1c2e2270e804189b8f12
treedb20dd1383870e85a6b9e22cdf8aedd7cab7fc18
parentb04aed089e9af9cb7f3c71c8f5837b660bb3e905
[CI]: cleanup workspaces, document, simplify tidy

- tidy job: use only one agent
- add documentation
- add cleanup of workspace (otherwise we run out of disk space, yay)
contrib/ci/Jenkinsfile.mark
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.