Make core_scheduler sound
#1652
Triggered via pull request
September 14, 2023 04:26
mkroening
Status
Failure
Total duration
16m 58s
Artifacts
–
ci.yml
on: pull_request
Check
46s
Clippy
1m 1s
Format
26s
Check docs
43s
Build
1m 34s
Test
1m 14s
Run Hermit for Rust (x86_64)
16m 49s
Run Hermit for Rust (aarch64)
6m 5s
Run Hermit for Rust (x86_64 + kvm)
3m 38s
Annotations
3 errors
|
Check
Process completed with exit code 1.
|
|
Clippy
Process completed with exit code 1.
|
|
Run Hermit for Rust (aarch64)
Process completed with exit code 1.
|