You cannot select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.

Soren Ptak 259e8de761 GitHub ci.yml formatting (#1140) ... * 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>		12 months ago
..
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. (#1083)	1 year ago
ci.yml	GitHub ci.yml formatting (#1140)	12 months ago
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. (#1083)	1 year ago
formatting.yml	Update the formatting bot (#1095)	1 year ago
freertos_demos.yml	Add x64 configuration to Win32-MSVC demo (#1164)	1 year ago
freertos_plus_demos.yml	Updates FreeRTOS-Plus-Trace to a submodule pointer (#1082)	1 year ago
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. (#1083)	1 year ago