Make core_scheduler sound
#1653
Triggered via pull request
September 14, 2023 05:03
mkroening
Status
Failure
Total duration
16m 38s
Artifacts
–
ci.yml
on: pull_request
Check
47s
Clippy
1m 47s
Format
21s
Check docs
45s
Build
1m 26s
Test
1m 14s
Run Hermit for Rust (x86_64)
16m 25s
Run Hermit for Rust (aarch64)
5m 55s
Run Hermit for Rust (x86_64 + kvm)
4m 16s
Annotations
2 errors
|
Check
Process completed with exit code 1.
|
|
Run Hermit for Rust (aarch64)
Process completed with exit code 1.
|