Make core_scheduler sound
#1644
Triggered via pull request
September 13, 2023 20:24
mkroening
Status
Success
Total duration
16m 3s
Artifacts
–
ci.yml
on: pull_request
Check
58s
Clippy
1m 23s
Format
22s
Check docs
45s
Build
1m 34s
Test
1m 29s
Run Hermit for Rust (x86_64)
15m 52s
Run Hermit for Rust (aarch64)
8m 37s
Run Hermit for Rust (x86_64 + kvm)
4m 28s