Make core_scheduler sound
#1678
Triggered via pull request
September 18, 2023 16:34
mkroening
Status
Cancelled
Total duration
7m 54s
Artifacts
–
ci.yml
on: pull_request
Check
1m 11s
Clippy
2m 7s
Format
26s
Check docs
56s
Build
1m 33s
Test
1m 16s
Run Hermit for Rust (x86_64)
5m 52s
Run Hermit for Rust (aarch64)
5m 57s
Run Hermit for Rust (x86_64 + kvm)
5m 30s
Annotations
4 errors
|
Run Hermit for Rust (aarch64)
The run was canceled by @mkroening.
|
|
Run Hermit for Rust (aarch64)
The operation was canceled.
|
|
Run Hermit for Rust (x86_64)
The run was canceled by @mkroening.
|
|
Run Hermit for Rust (x86_64)
The operation was canceled.
|