CI

Make `core_scheduler` sound #1699

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Format	28s
Format	28s
Clippy	1m 39s
Clippy	1m 39s
Check	1m 10s
Check	1m 10s
Build	1m 52s
Build	1m 52s
Check docs	53s
Check docs	53s
Run Hermit for Rust (aarch64)	10m 56s
Run Hermit for Rust (aarch64)	10m 56s
Run Hermit for Rust (x86_64)	18m 28s
Run Hermit for Rust (x86_64)	18m 28s
Test	1m 27s
Test	1m 27s
Run Hermit for Rust (x86_64 + kvm)	29m 18s
Run Hermit for Rust (x86_64 + kvm)	9m 53s
	1h 52m 57s