From 64c48259f801a466289e91ddbf1825e340bb445b Mon Sep 17 00:00:00 2001 From: Jeff Tenney Date: Tue, 9 Feb 2021 10:59:04 -0700 Subject: [PATCH] Configure CI header checker to ignore .txt files --- .github/scripts/kernel_checker.py | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/.github/scripts/kernel_checker.py b/.github/scripts/kernel_checker.py index 3daca3e61..f29749267 100755 --- a/.github/scripts/kernel_checker.py +++ b/.github/scripts/kernel_checker.py @@ -30,7 +30,8 @@ KERNEL_IGNORED_EXTENSIONS = [ '.tex', '.png', '.bat', - '.sh' + '.sh', + '.txt' ] KERNEL_IGNORED_PATTERNS = [