Build #3725
build.yml
on: schedule
Check Formatting
17s
Clippy
19s
Semver Checks
5m 47s
kani
44s
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-7686ab35-cc8244c4, v0-rust-kani-Linux-x64-7686ab35
|
Semver Checks
Cache not found for keys: v0-rust-semver-checks-Linux-x64-7686ab35-cc8244c4, v0-rust-semver-checks-Linux-x64-7686ab35
|