From: Timo Heister Date: Wed, 10 Jun 2020 11:59:06 +0000 (-0400) Subject: [CI] add githubactions indent/documentation check X-Git-Tag: v9.3.0-rc1~1466^2 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=refs%2Fpull%2F10491%2Fhead;p=dealii.git [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). --- diff --git a/.github/workflows/indent.yml b/.github/workflows/indent.yml new file mode 100644 index 0000000000..a8f4e481e8 --- /dev/null +++ b/.github/workflows/indent.yml @@ -0,0 +1,26 @@ +name: indent + +on: [push, pull_request] + +jobs: + indent: + # run the indent checks + + name: indent + runs-on: [ubuntu-18.04] + + steps: + - uses: actions/checkout@v2 + - name: setup + run: | + ./contrib/utilities/download_clang_format + sudo apt-get install doxygen graphviz perl texlive-bibtex-extra + doxygen --version + - name: indent + run: | + ./contrib/utilities/check_indentation.sh + - name: documentation + run: | + cmake -DDEAL_II_COMPONENT_DOCUMENTATION=ON -DDEAL_II_DOXYGEN_USE_MATHJAX=ON . + make -j 2 documentation + cat doxygen.log && ! [ -s doxygen.log ]