Skip to content

Automatic toolchain upgrade to nightly-2024-11-19 #8959

Automatic toolchain upgrade to nightly-2024-11-19

Automatic toolchain upgrade to nightly-2024-11-19 #8959

format-check

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