From db45e31fd92dd834c2426a780266d0fb03652e9b Mon Sep 17 00:00:00 2001
From: Reiko Asakura
Date: Sat, 13 Mar 2021 11:02:55 -0500
Subject: Add lint script for header files

---
 .github/workflows/lint.yml | 4 ++++
 1 file changed, 4 insertions(+)

(limited to '.github/workflows')

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
-- 
cgit v1.2.3