Make core_scheduler sound
#1656
Triggered via pull request
September 14, 2023 08:52
mkroening
Status
Failure
Total duration
18m 34s
Artifacts
–
ci.yml
on: pull_request
Check
58s
Clippy
1m 27s
Format
31s
Check docs
42s
Build
1m 41s
Test
1m 20s
Run Hermit for Rust (x86_64)
18m 20s
Run Hermit for Rust (aarch64)
8m 31s
Run Hermit for Rust (x86_64 + kvm)
4m 19s
Annotations
1 error
|
Run Hermit for Rust (aarch64)
Process completed with exit code 1.
|