From 13370778da34cf032608f8648c1219b7b9808a89 Mon Sep 17 00:00:00 2001 From: Jeff Tenney Date: Tue, 9 Feb 2021 10:45:11 -0700 Subject: [PATCH 1/2] Update URL in history.txt --- History.txt | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/History.txt b/History.txt index 6dcf3ce318..296068721b 100644 --- a/History.txt +++ b/History.txt @@ -79,7 +79,7 @@ Changes between FreeRTOS V10.3.1 and FreeRTOS V10.4.0 released September 10 2020 the same way the Windows port layer enables FreeRTOS to run on Windows hosts. + Many other minor optimisations and enhancements. For full details - see https://github.com/FreeRTOS/FreeRTOS-Kernel/commits/master + see https://github.com/FreeRTOS/FreeRTOS-Kernel/commits/main Changes between FreeRTOS V10.3.0 and FreeRTOS V10.3.1 released February 18 2020 From 64c48259f801a466289e91ddbf1825e340bb445b Mon Sep 17 00:00:00 2001 From: Jeff Tenney Date: Tue, 9 Feb 2021 10:59:04 -0700 Subject: [PATCH 2/2] 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 3daca3e614..f297492673 100755 --- a/.github/scripts/kernel_checker.py +++ b/.github/scripts/kernel_checker.py @@ -30,7 +30,8 @@ '.tex', '.png', '.bat', - '.sh' + '.sh', + '.txt' ] KERNEL_IGNORED_PATTERNS = [