Make core_scheduler
sound
#1640
Triggered via pull request
September 13, 2023 12:46
Status
Failure
Total duration
9m 32s
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 1s
Clippy
1m 24s
Format
21s
Check docs
48s
Build
1m 47s
Test
1m 11s
Run Hermit for Rust (x86_64)
7m 32s
Run Hermit for Rust (aarch64)
9m 22s
Run Hermit for Rust (x86_64 + kvm)
4m 21s
Annotations
2 errors
Run Hermit for Rust (x86_64)
Process completed with exit code 1.
|
Run Hermit for Rust (aarch64)
Process completed with exit code 1.
|