[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 (file)
index 0000000..a8f4e48
--- /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 ]