Make `core_scheduler` sound #1647

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Check docs	43s
Format	24s
Build	40s
Check	53s
Clippy	47s
Run Hermit for Rust (aarch64)	2m 55s
Run Hermit for Rust (x86_64)	3m 12s
Run Hermit for Rust (x86_64 + kvm)	1m 41s
Test	59s
	12m 14s