Make core_scheduler sound
#1679
Triggered via pull request
September 18, 2023 16:34
mkroening
Status
Cancelled
Total duration
7m 42s
Artifacts
–
ci.yml
on: pull_request
Check
1m 3s
Clippy
1m 27s
Format
25s
Check docs
52s
Build
1m 58s
Test
1m 12s
Run Hermit for Rust (x86_64)
4m 22s
Run Hermit for Rust (aarch64)
4m 21s
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.
|