CI

Make `core_scheduler` sound #1650

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Format	19s
Build	1m 51s
Check docs	1m 19s
Clippy	1m 24s
Check	1m 1s
Run Hermit for Rust (aarch64)	9m 44s
Run Hermit for Rust (x86_64)	15m 23s
Run Hermit for Rust (x86_64 + kvm)	4m 17s
Test	2m 7s
	37m 25s