Build #3501
phil-oppbuild.yml
on: schedule
Check Formatting
13s
Clippy
14s
Semver Checks
5m 12s
kani
42s
Matrix: Bootloader Integration Test
Matrix: Test MSRV and Stable Features
Matrix: Test
Annotations
1 error and 2 warnings
|
kani
Process completed with exit code 1.
|
|
kani
Cache not found for keys: v0-rust-kani-Linux-x64-f65bfc4d-f52b0c84, v0-rust-kani-Linux-x64-f65bfc4d
|
|
Semver Checks
Cache not found for keys: v0-rust-semver-checks-Linux-x64-f65bfc4d-f52b0c84, v0-rust-semver-checks-Linux-x64-f65bfc4d
|