CI

Make `core_scheduler` sound #1651

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Clippy	1m 31s
Check docs	44s
Format	26s
Check	1m 13s
Build	1m 27s
Run Hermit for Rust (aarch64)	8m 26s
Run Hermit for Rust (x86_64)	15m 53s
Run Hermit for Rust (x86_64 + kvm)	4m 17s
Test	1m 8s
	35m 5s