]> https://gitweb.dealii.org/ - dealii.git/commit
[CI] add githubactions indent/documentation check 10491/head
authorTimo Heister <timo.heister@gmail.com>
Wed, 10 Jun 2020 11:59:06 +0000 (07:59 -0400)
committerTimo Heister <timo.heister@gmail.com>
Wed, 10 Jun 2020 12:23:38 +0000 (08:23 -0400)
commit0434c84e74f6dff5fd50a09a18aec12a4fff7f9e
treeaedbe35380dc737344ceaf5cf735302ad2779333
parentf4daee0ef7ef08ceed3b715362678f3765d87e45
[CI] add githubactions indent/documentation check

add a new "indent" check on github actions that mirrors what we do on
travisci (to ultimately replace it).
.github/workflows/indent.yml [new file with mode: 0644]

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.