Skip to content
Build

Build #3447

Sign in to view logs

Build

Build #3447

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

build.yml

on: schedule
Check Formatting
11s
Check Formatting
Clippy
13s
Clippy
Semver Checks
4m 4s
Semver Checks
kani
48s
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-67dbb4c1-f52b0c84, v0-rust-kani-Linux-67dbb4c1
Semver Checks
Cache not found for keys: v0-rust-semver-checks-Linux-67dbb4c1-f52b0c84, v0-rust-semver-checks-Linux-67dbb4c1