Skip to content

Merge branch 'main' into toolchain-2024-11-19 #8958

Merge branch 'main' into toolchain-2024-11-19

Merge branch 'main' into toolchain-2024-11-19 #8958

format-check

succeeded Nov 20, 2024 in 4s
Set up job
1s
Checkout Kani
1s
Execute copyright check
0s
Check C code formatting
0s
Check Python code formatting
1s
Post Checkout Kani
0s
Complete job
0s