From 393c804d6be5c59df76f99da86df1aadb2d04507 Mon Sep 17 00:00:00 2001 From: Joseph Julicher Date: Wed, 27 Sep 2023 21:06:35 -0700 Subject: [PATCH] excluding the FreeRTOSConfig.h from copyright+license check because this file is intended to be incorporated into user code --- .github/scripts/kernel_checker.py | 1 + 1 file changed, 1 insertion(+) diff --git a/.github/scripts/kernel_checker.py b/.github/scripts/kernel_checker.py index 4b4fbe40d73..0519f1c82ae 100755 --- a/.github/scripts/kernel_checker.py +++ b/.github/scripts/kernel_checker.py @@ -38,6 +38,7 @@ 'Makefile', '.DS_Store', 'cspell.config.yaml' + 'FreeRTOSConfig.h' ] KERNEL_IGNORED_EXTENSIONS = [