Back to pull request #912

Make `core_scheduler` sound #1703

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Clippy	1m 44s
Check docs	1m 0s
Build	1m 29s
Check	1m 4s
Run Hermit for Rust (aarch64)	8m 28s
Format	19s
Run Hermit for Rust (x86_64)	15m 56s
Run Hermit for Rust (x86_64 + kvm)	7m 9s
Test	1m 18s
	38m 27s