Make `core_scheduler` sound #1678

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Clippy	2m 7s
Format	26s
Build	1m 33s
Check	1m 11s
Check docs	56s
Run Hermit for Rust (aarch64)	5m 57s
Run Hermit for Rust (x86_64)	5m 52s
Run Hermit for Rust (x86_64 + kvm)	5m 30s
Test	1m 16s
	24m 48s