Build #3728
build.yml
on: schedule
Check Formatting
12s
Clippy
28s
Semver Checks
5m 34s
kani
42s
Matrix: Bootloader Integration Test
Matrix: Test MSRV and Stable Features
Matrix: Test
Annotations
2 warnings
kani
Cache not found for keys: v0-rust-kani-Linux-x64-463a798a-cc8244c4, v0-rust-kani-Linux-x64-463a798a
|
Semver Checks
Cache not found for keys: v0-rust-semver-checks-Linux-x64-463a798a-cc8244c4, v0-rust-semver-checks-Linux-x64-463a798a
|