]> https://gitweb.dealii.org/ - dealii.git/commitdiff
[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)
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]

diff --git a/.github/workflows/indent.yml b/.github/workflows/indent.yml
new file mode 100644 (file)
index 0000000..a8f4e48
--- /dev/null
@@ -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 ]

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.