CI

Make `core_scheduler` sound #1638

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Check docs	50s
Check	1m 9s
Clippy	1m 35s
Build	1m 41s
Format	23s
Run Hermit for Rust (aarch64)	8m 40s
Run Hermit for Rust (x86_64)	18m 29s
Run Hermit for Rust (x86_64 + kvm)	4m 21s
Test	1m 13s
	38m 21s