Make core_scheduler sound
#1633
Triggered via pull request
September 13, 2023 06:16
mkroening
Status
Failure
Total duration
6m 34s
Artifacts
–
This run and associated checks have been archived and are scheduled for deletion.
Learn more about checks retention
ci.yml
on: pull_request
Check
1m 13s
Clippy
1m 1s
Format
28s
Check docs
1m 7s
Build
40s
Test
1m 19s
Run Hermit for Rust (x86_64)
6m 1s
Run Hermit for Rust (aarch64)
6m 25s
Run Hermit for Rust (x86_64 + kvm)
4m 39s
Annotations
7 errors
|
Build
Process completed with exit code 1.
|
|
Clippy
Process completed with exit code 1.
|
|
Check docs
Process completed with exit code 101.
|
|
Check
Process completed with exit code 1.
|
|
Run Hermit for Rust (x86_64 + kvm)
Process completed with exit code 1.
|
|
Run Hermit for Rust (x86_64)
Process completed with exit code 1.
|
|
Run Hermit for Rust (aarch64)
Process completed with exit code 1.
|