From e9b7b879b842b70588ea332b92762998badce263 Mon Sep 17 00:00:00 2001
From: Daniel Arndt <arndtd@ornl.gov>
Date: Sun, 8 Jan 2023 13:26:56 -0500
Subject: [PATCH] Run clang-tidy in GitHub CI

---
 .github/workflows/tidy.yml | 37 +++++++++++++++++++++++++++++++++++++
 1 file changed, 37 insertions(+)
 create mode 100644 .github/workflows/tidy.yml

diff --git a/.github/workflows/tidy.yml b/.github/workflows/tidy.yml
new file mode 100644
index 0000000000..2d3b517b40
--- /dev/null
+++ b/.github/workflows/tidy.yml
@@ -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 ..
-- 
2.39.5