From: Timo Heister <timo.heister@gmail.com>
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 ]