Make `core_scheduler` sound #1633

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Check docs	1m 7s
Clippy	1m 1s
Check	1m 13s
Build	40s
Format	28s
Run Hermit for Rust (aarch64)	6m 25s
Run Hermit for Rust (x86_64)	6m 1s
Run Hermit for Rust (x86_64 + kvm)	4m 39s
Test	1m 19s
	22m 53s