CI

Make `core_scheduler` sound #1684

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Clippy	1m 44s
Check docs	48s
Build	1m 40s
Check	1m 5s
Format	26s
Run Hermit for Rust (aarch64)	12m 18s
Run Hermit for Rust (x86_64)	19m 37s
Run Hermit for Rust (x86_64 + kvm)	4m 19s
Test	1m 20s
	43m 17s