Make core_scheduler sound
#1698
Triggered via pull request
September 18, 2023 17:58
mkroening
Status
Success
Total duration
19m 36s
Artifacts
–
ci.yml
on: pull_request
Check
1m 21s
Clippy
1m 32s
Format
20s
Check docs
49s
Build
1m 57s
Test
1m 13s
Run Hermit for Rust (x86_64)
19m 25s
Run Hermit for Rust (aarch64)
9m 21s
Run Hermit for Rust (x86_64 + kvm)
5m 37s