Make core_scheduler sound
#1677
Triggered via pull request
September 18, 2023 16:34
mkroening
Status
Cancelled
Total duration
8m 17s
Artifacts
–
ci.yml
on: pull_request
Check
1m 17s
Clippy
1m 26s
Format
28s
Check docs
42s
Build
1m 37s
Test
1m 29s
Run Hermit for Rust (x86_64)
7m 33s
Run Hermit for Rust (aarch64)
7m 52s
Run Hermit for Rust (x86_64 + kvm)
13s
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.
|