Repository navigation

[pull] main from FreeRTOS:main - #28

Merged

pull[bot] merged 1 commit into

rawalexe:mainfrom

Jul 9, 2026

Merged

[pull] main from FreeRTOS:main#28
pull[bot] merged 1 commit into
rawalexe:mainfrom
FreeRTOS:main

Commits on Jul 9, 2026
- CBMC: Escape Python regex strings (#1420)
  
  Old-Ding
  and
  aineoae86-sys
  authored
  c73a397