Paul Bartell 77ca183eb5 Merge remote-tracking branch 'origin/main' into dev

2022-11-01 16:18:29 -07:00

..

auto-release.yml

Update python version to 3.7.10 (#512)

2021-02-18 18:55:29 -08:00

ci.yml

Update VeriFast proofs (#836)

2022-10-27 14:54:38 -07:00

core-checks.yml

Arm gcc build qemu mps2 Coretex M3 (#861)

2022-10-20 15:37:52 -07:00

freertos_plus_demos.yml

Update FreeRTOS+TCP Demo Github Actions builds

2022-11-01 16:12:18 -07:00

kernel-unit-tests.yml

Run kernel unit tests against FreeRTOS-Kernel repository main branch and the current submodule version.

2021-04-06 13:01:33 -07:00