summaryrefslogtreecommitdiff
path: root/.github
diff options
context:
space:
mode:
authorReiko Asakura2021-03-03 22:34:06 -0500
committerReiko Asakura2021-03-03 22:34:06 -0500
commit9a2576497c8b9e3c23547d22048ab8334e40106a (patch)
treebd36bbdfa5b5b088dc8de38c03d0563442e7484a /.github
parentRefactor lint scripts (diff)
downloadvds-libraries-9a2576497c8b9e3c23547d22048ab8334e40106a.tar.gz
Check NID files are split in lint workflow
Diffstat (limited to '.github')
-rw-r--r--.github/workflows/lint.yml4
1 files changed, 4 insertions, 0 deletions
diff --git a/.github/workflows/lint.yml b/.github/workflows/lint.yml
index 26ac678..d129507 100644
--- a/.github/workflows/lint.yml
+++ b/.github/workflows/lint.yml
@@ -36,6 +36,10 @@ jobs:
run: |
python3 scripts/nids-check-sort.py
+ - name: Check NIDs split
+ run: |
+ python3 scripts/nids-check-split.py
+
- name: Check NIDs digest
run: |
python3 scripts/nids-check-digest.py