Make `core_scheduler` sound #1644

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Check	58s
Clippy	1m 23s
Check docs	45s
Build	1m 34s
Format	22s
Run Hermit for Rust (aarch64)	8m 37s
Run Hermit for Rust (x86_64)	15m 52s
Run Hermit for Rust (x86_64 + kvm)	4m 28s
Test	1m 29s
	35m 28s