Make core_scheduler sound
#1649
Triggered via pull request
September 14, 2023 04:12
mkroening
Status
Success
Total duration
16m 0s
Artifacts
–
ci.yml
on: pull_request
Check
1m 14s
Clippy
1m 50s
Format
21s
Check docs
37s
Build
2m 5s
Test
1m 9s
Run Hermit for Rust (x86_64)
15m 52s
Run Hermit for Rust (aarch64)
8m 57s
Run Hermit for Rust (x86_64 + kvm)
3m 43s