Build #633
Freax13build.yml
on: schedule
Check Formatting
12s
Clippy
14s
Semver Checks
5m 8s
kani
46s
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-b06b1f6c-f52b0c84, v0-rust-kani-Linux-x64-b06b1f6c
|
|
Semver Checks
Cache not found for keys: v0-rust-semver-checks-Linux-x64-b06b1f6c-f52b0c84, v0-rust-semver-checks-Linux-x64-b06b1f6c
|