Skip to content
Build

Build #3443

Sign in to view logs

Build

Build #3443

Triggered via schedule February 16, 2025 04:43
@phil-oppphil-opp
⁠ f01a291
master
Status Success
Total duration 4m 13s
Artifacts –

build.yml

on: schedule
Check Formatting
12s
Check Formatting
Clippy
12s
Clippy
Semver Checks
4m 6s
Semver Checks
kani
52s
kani
Matrix: Bootloader Integration Test
Matrix: Test MSRV and Stable Features
Matrix: Test
Fit to window
Zoom out
Zoom in

Annotations

3 warnings
kani
The Ubuntu-20.04 brownout takes place from 2025-02-01. For more details, see https://github.com/actions/runner-images/issues/11101
kani
Cache not found for keys: v0-rust-kani-Linux-398d1656-f52b0c84, v0-rust-kani-Linux-398d1656
Semver Checks
Cache not found for keys: v0-rust-semver-checks-Linux-398d1656-f52b0c84, v0-rust-semver-checks-Linux-398d1656