github-forks
/
FreeRTOS
mirror of https://github.com/FreeRTOS/FreeRTOS.git
1
0
Fork 0
Code Issues Projects Releases Wiki Activity
FreeRTOS/.github/workflows
History
Soren Ptak 259e8de761
GitHub ci.yml formatting () 
* Add in a comment of the step name on the Install Dependencies job step to create a nicer log on github

* See if we can use the owner of the repo as the check for if the CBMC proofs should run

* Allow manually running the CBMC proofs

---------

Co-authored-by: Rahul Kar <118818625+kar-rahul-aws@users.noreply.github.com>
..
auto-release.yml Use CI-CD-Github-Actions for spelling and formatting, add in the bot formatting action, update the CI-CD workflow files. Fix incorrect spelling and formatting on files. ()
ci.yml GitHub ci.yml formatting ()
core-checks.yml Use CI-CD-Github-Actions for spelling and formatting, add in the bot formatting action, update the CI-CD workflow files. Fix incorrect spelling and formatting on files. ()
formatting.yml Update the formatting bot ()
freertos_demos.yml Add x64 configuration to Win32-MSVC demo ()
freertos_plus_demos.yml Updates FreeRTOS-Plus-Trace to a submodule pointer ()
kernel-unit-tests.yml Use CI-CD-Github-Actions for spelling and formatting, add in the bot formatting action, update the CI-CD workflow files. Fix incorrect spelling and formatting on files. ()