summaryrefslogtreecommitdiff
path: root/.github
diff options
context:
space:
mode:
authorLéo Lam <leo@leolam.fr>2020-08-22 10:37:58 +0200
committerLéo Lam <leo@leolam.fr>2020-08-22 10:42:36 +0200
commit87cc9104ded46fcb93a81d467968014ff4c24901 (patch)
treee0a894a693d4ed14ce24d363ae8f43d669d4282a /.github
parent31e4ddd57285076b1fd5ddc4e309a74c6049be58 (diff)
ci: Add a PR lint workflow
Diffstat (limited to '.github')
-rw-r--r--.github/workflows/lint_pr.yml12
1 files changed, 12 insertions, 0 deletions
diff --git a/.github/workflows/lint_pr.yml b/.github/workflows/lint_pr.yml
new file mode 100644
index 00000000..58ecc968
--- /dev/null
+++ b/.github/workflows/lint_pr.yml
@@ -0,0 +1,12 @@
+name: lint_pr
+on: pull_request
+jobs:
+ clang-format:
+ runs-on: ubuntu-latest
+ steps:
+ - uses: actions/checkout@v2
+ - uses: DoozyX/clang-format-lint-action@v0.8
+ with:
+ source: 'src'
+ exclude: 'lib'
+ clangFormatVersion: 10