Skip to content

Upgrade toolchain to nightly-2024-04-15 #904

Upgrade toolchain to nightly-2024-04-15

Upgrade toolchain to nightly-2024-04-15 #904

Annotations

1 warning

TestBundle (ubuntu-22.04)

succeeded Apr 16, 2024 in 39s
Set up job
0s
Download bundle
4s
Download kani-verifier crate
0s
Check download
0s
Install from bundle
17s
Checkout tests
1s
Run tests
15s
Post Checkout tests
0s
Complete job
0s