Make core_scheduler sound
#1636
Triggered via pull request
September 13, 2023 08:05
mkroening
Status
Failure
Total duration
14m 23s
Artifacts
–
ci.yml
on: pull_request
Check
1m 24s
Clippy
1m 34s
Format
30s
Check docs
46s
Build
1m 53s
Test
1m 17s
Run Hermit for Rust (x86_64)
14m 10s
Run Hermit for Rust (aarch64)
2m 12s
Run Hermit for Rust (x86_64 + kvm)
3m 40s
Annotations
3 errors
|
Clippy
Process completed with exit code 1.
|
|
Build
Process completed with exit code 1.
|
|
Run Hermit for Rust (aarch64)
Process completed with exit code 1.
|