]> https://gitweb.dealii.org/ - dealii.git/commitdiff
Run clang-tidy in GitHub CI
authorDaniel Arndt <arndtd@ornl.gov>
Sun, 8 Jan 2023 18:26:56 +0000 (13:26 -0500)
committerDaniel Arndt <arndtd@ornl.gov>
Tue, 10 Jan 2023 00:04:05 +0000 (19:04 -0500)
.github/workflows/tidy.yml [new file with mode: 0644]

diff --git a/.github/workflows/tidy.yml b/.github/workflows/tidy.yml
new file mode 100644 (file)
index 0000000..2d3b517
--- /dev/null
@@ -0,0 +1,37 @@
+name: tidy
+
+on: [push, pull_request]
+
+concurrency:
+  group: ${ {github.event_name }}-${{ github.workflow }}-${{ github.ref }}
+  cancel-in-progress: ${{github.event_name == 'pull_request'}}
+
+jobs:
+  tidy:
+    name: tidy
+    runs-on: [ubuntu-22.04]
+
+    steps:
+    - uses: actions/checkout@v3
+    - name: modules
+      run: |
+        sudo apt-get install -y software-properties-common
+        sudo add-apt-repository -y ppa:ginggs/deal.ii-9.4.0-backports
+        sudo apt-get update
+        sudo apt-get install -yq --no-install-recommends \
+            clang-12 \
+            clang-tidy-12 \
+            numdiff \
+            libboost-all-dev \
+            libcgal-dev \
+            libp4est-dev \
+            trilinos-all-dev \
+            petsc-dev \
+            libmetis-dev \
+            libhdf5-mpi-dev
+    - name: tidy
+      run: |
+        mkdir build
+        cd build
+        export PATH=/usr/lib/llvm-12/share/clang/:$PATH
+        ../contrib/utilities/run_clang_tidy.sh ..

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.