]> https://gitweb.dealii.org/ - dealii.git/commit
projects / dealii.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: b04aed0) | patch
[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
treedb20dd1383870e85a6b9e22cdf8aedd7cab7fc18tree | snapshot
parentb04aed089e9af9cb7f3c71c8f5837b660bb3e905commit | diff
[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 diff | blob | history
contrib/ci/Jenkinsfile.osx diff | blob | history
contrib/ci/Jenkinsfile.tidy 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.