mirror of
https://github.com/FreeRTOS/FreeRTOS-Kernel.git
synced 2025-09-12 17:17:44 -04:00
Configure CI header checker to ignore .txt files
This commit is contained in:
parent
13370778da
commit
64c48259f8
1 changed files with 2 additions and 1 deletions
3
.github/scripts/kernel_checker.py
vendored
3
.github/scripts/kernel_checker.py
vendored
|
@ -30,7 +30,8 @@ KERNEL_IGNORED_EXTENSIONS = [
|
||||||
'.tex',
|
'.tex',
|
||||||
'.png',
|
'.png',
|
||||||
'.bat',
|
'.bat',
|
||||||
'.sh'
|
'.sh',
|
||||||
|
'.txt'
|
||||||
]
|
]
|
||||||
|
|
||||||
KERNEL_IGNORED_PATTERNS = [
|
KERNEL_IGNORED_PATTERNS = [
|
||||||
|
|
Loading…
Add table
Add a link
Reference in a new issue