FreeRTOS/.github/scripts/check-header.py at 682447445befbe01278328174a1aa507a00ec669 - FreeRTOS - Gitea: Git with a cup of tea

embedded/FreeRTOS

mirror of https://github.com/FreeRTOS/FreeRTOS.git synced 2026-08-08 14:13:50 +00:00

Files

Archit Aggarwal aad429ba09 Fix issues in CI check for header files with directories and .gitmodules (#420 )

2020-11-23 13:08:15 -08:00

7.7 KiB

Executable File

Raw Blame History

View Raw