]> https://gitweb.dealii.org/ - dealii.git/commit
projects / dealii.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: f4daee0) | patch
[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
treeaedbe35380dc737344ceaf5cf735302ad2779333tree | snapshot
parentf4daee0ef7ef08ceed3b715362678f3765d87e45commit | diff
[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] blob
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.