Merge pull request #533 from rust-osdev/fix/ci-release #3412
build.yml
on: push
Check Formatting
13s
Clippy
14s
Semver Checks
18s
kani
42s
Matrix: Bootloader Integration Test
Matrix: Test MSRV and Stable Features
Matrix: Test
Annotations
7 warnings