Make core_scheduler sound
#1642
Triggered via pull request
September 13, 2023 14:19
mkroening
Status
Failure
Total duration
7m 44s
Artifacts
–
ci.yml
on: pull_request
Check
1m 4s
Clippy
2m 3s
Format
26s
Check docs
37s
Build
2m 0s
Test
1m 35s
Run Hermit for Rust (x86_64)
7m 31s
Run Hermit for Rust (aarch64)
7m 19s
Run Hermit for Rust (x86_64 + kvm)
3m 45s
Annotations
2 errors
|
Run Hermit for Rust (aarch64)
Process completed with exit code 1.
|
|
Run Hermit for Rust (x86_64)
Process completed with exit code 1.
|