diff options
Diffstat (limited to '.github/workflows')
| -rw-r--r-- | .github/workflows/lint.yml | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/.github/workflows/lint.yml b/.github/workflows/lint.yml index 5cb1c46..2cd117b 100644 --- a/.github/workflows/lint.yml +++ b/.github/workflows/lint.yml @@ -33,3 +33,7 @@ jobs: - name: Check NIDs digest run: | python3 scripts/nids-check-digest.py + + - name: Check header files + run: | + python3 scripts/check-header-files.py |