embedded/FreeRTOS
1
0
Fork 0
mirror of https://github.com/FreeRTOS/FreeRTOS.git synced 2026-08-07 05:33:50 +00:00
Code Issues Packages Projects Releases Wiki Activity
Files
d59a4e4f3a4d513f792734376ad642085edcdf51
FreeRTOS/.github/scripts
History
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
..
check-header.py
File Header Check/Diff Reporter + Companion Git Action (#408)
2020-11-17 15:37:58 -08:00
packager.py
Automate entire release upload flow (#383)
2020-11-06 10:41:01 -08:00
release.py
Automate entire release upload flow (#383)
2020-11-06 10:41:01 -08:00
versioning.py
Automate entire release upload flow (#383)
2020-11-06 10:41:01 -08:00