embedded/FreeRTOS
1
0
Fork 0
mirror of https://github.com/FreeRTOS/FreeRTOS.git synced 2026-07-29 17:24:39 +00:00
Code Issues Packages Projects Releases Wiki Activity
3,068 Commits 2 Branches 88 Tags
202012.00
Commit Graph

3 Commits

Author SHA1 Message Date
David Chalco
1db51e9996 Header Checker: Misc Enhancements (#437) 
* +regex ignores, tentative complete lists for configs

* Use header checks from user repo
 2020-12-02 09:52:19 -08:00
David Chalco
fdc9d736b3 File Header Check/Diff Reporter + Companion Git Action (#408) 
* Add checker for file headers

* file header check + git action
 2020-11-17 15:37:58 -08:00
David Chalco
d47a28aff7 GitAction - Release Packager (#342) 
* Rev0 - Release packaging action
* freertos_zipper += commit id param
+force checkout+clean required for older commits
* require commit id
 2020-10-16 10:19:02 -07:00