Continuous integration

Merge pull request #20 from Amanieu/update-format-9 #80

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Test UEFI	16s
Test PGO	44s
Clippy	16s
Check	15s
Rustfmt	12s
Test coverage	1m 35s
	3m 18s