Make core_scheduler sound
#1647
Triggered via pull request
September 13, 2023 20:35
mkroening
Status
Failure
Total duration
3m 54s
Artifacts
–
ci.yml
on: pull_request
Check
53s
Clippy
47s
Format
24s
Check docs
43s
Build
40s
Test
59s
Run Hermit for Rust (x86_64)
3m 12s
Run Hermit for Rust (aarch64)
2m 55s
Run Hermit for Rust (x86_64 + kvm)
1m 41s
Annotations
7 errors
|
Build
Process completed with exit code 1.
|
|
Clippy
Process completed with exit code 1.
|
|
Check
Process completed with exit code 1.
|
|
Run Hermit for Rust (x86_64 + kvm)
Process completed with exit code 1.
|
|
Test
Process completed with exit code 101.
|
|
Run Hermit for Rust (aarch64)
Process completed with exit code 1.
|
|
Run Hermit for Rust (x86_64)
Process completed with exit code 1.
|