Make core_scheduler sound
#1638
Triggered via pull request
September 13, 2023 12:37
mkroening
Status
Success
Total duration
18m 40s
Artifacts
–
ci.yml
on: pull_request
Check
1m 9s
Clippy
1m 35s
Format
23s
Check docs
50s
Build
1m 41s
Test
1m 13s
Run Hermit for Rust (x86_64)
18m 29s
Run Hermit for Rust (aarch64)
8m 40s
Run Hermit for Rust (x86_64 + kvm)
4m 21s