Build #3729
build.yml
on: schedule
Check Formatting
13s
Clippy
16s
Semver Checks
5m 45s
kani
41s
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-75d59588-cc8244c4, v0-rust-kani-Linux-x64-75d59588
|
Semver Checks
Cache not found for keys: v0-rust-semver-checks-Linux-x64-75d59588-cc8244c4, v0-rust-semver-checks-Linux-x64-75d59588
|