diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2022-07-23 23:41:51 +0200 |
|---|---|---|
| committer | Rémi Verschelde <rverschelde@gmail.com> | 2022-07-25 11:17:40 +0200 |
| commit | 90019676b076abdfc076ed6f38005d6cce89923b (patch) | |
| tree | 63fcbfc3018ae9953b1ef8049c51a07cd1a8728e /.github | |
| parent | 3084a48ace3e7dabd83e4c62280328f429defad6 (diff) | |
Code quality: Fix header guards consistency
Adds `header_guards.sh` bash script, used in CI to validate future
changes. Can be run locally to fix invalid header guards.
Diffstat (limited to '.github')
| -rw-r--r-- | .github/workflows/static_checks.yml | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/.github/workflows/static_checks.yml b/.github/workflows/static_checks.yml index d7d07b7022..81c7042663 100644 --- a/.github/workflows/static_checks.yml +++ b/.github/workflows/static_checks.yml @@ -37,6 +37,10 @@ jobs: run: | bash ./misc/scripts/clang_format.sh + - name: Header guards formatting checks (header_guards.sh) + run: | + bash ./misc/scripts/header_guards.sh + - name: Python style checks via black (black_format.sh) run: | bash ./misc/scripts/black_format.sh |