Make core_scheduler sound
#1680
Triggered via pull request
September 18, 2023 16:34
mkroening
Status
Cancelled
Total duration
7m 23s
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 5s
Clippy
1m 25s
Format
22s
Check docs
39s
Build
1m 32s
Test
1m 26s
Run Hermit for Rust (x86_64)
2m 47s
Run Hermit for Rust (aarch64)
2m 52s
Run Hermit for Rust (x86_64 + kvm)
12s
Annotations
5 errors
|
Run Hermit for Rust (x86_64 + kvm)
Process completed with exit code 1.
|
|
Run Hermit for Rust (x86_64)
The run was canceled by @mkroening.
|
|
Run Hermit for Rust (x86_64)
The operation was canceled.
|
|
Run Hermit for Rust (aarch64)
The run was canceled by @mkroening.
|
|
Run Hermit for Rust (aarch64)
The operation was canceled.
|