Skip to content

Commit 459382c

Browse files
jefftenneyjefftenney
committed
Configure header checker to ignore History.txt
1 parent 1337077 commit 459382c

File tree

1 file changed

+2
-1
lines changed

1 file changed

+2
-1
lines changed

‎.github/scripts/kernel_checker.py

Lines changed: 2 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -7,7 +7,8 @@
77
# CONFIG
88
#--------------------------------------------------------------------------------------------------
99
KERNEL_IGNORED_FILES = [
10-
'FreeRTOS-openocd.c'
10+
'FreeRTOS-openocd.c',
11+
'History.txt'
1112
]
1213

1314
KERNEL_IGNORED_EXTENSIONS = [

0 commit comments

Comments
 (0)