Make `core_scheduler` sound #1652

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Check	46s
Clippy	1m 1s
Check docs	43s
Build	1m 34s
Format	26s
Run Hermit for Rust (aarch64)	6m 5s
Run Hermit for Rust (x86_64)	16m 49s
Run Hermit for Rust (x86_64 + kvm)	3m 38s
Test	1m 14s
	32m 16s