CI

Make `core_scheduler` sound #1634

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Check	51s
Format	20s
Build	40s
Check docs	56s
Clippy	1m 2s
Run Hermit for Rust (aarch64)	2m 48s
Run Hermit for Rust (x86_64)	6m 47s
Run Hermit for Rust (x86_64 + kvm)	3m 51s
Test	1m 34s
	18m 49s