Build

Merge pull request #533 from rust-osdev/fix/ci-release #3412

Job	Run time
Check Formatting	13s
Clippy	14s
kani	42s
Bootloader Integration Test (ubuntu-latest)	1m 10s
Semver Checks	18s
Test MSRV and Stable Features (nightly)	15s
Test (ubuntu-latest)	27s
Bootloader Integration Test (macos-latest)	1m 31s
Test MSRV and Stable Features (1.59)	1m 54s
Test (macos-latest)	27s
Bootloader Integration Test (windows-latest)	2m 49s
Test (windows-latest)	58s
	10m 58s

Provide feedback