Make core_scheduler sound
#1674
Triggered via pull request
September 18, 2023 16:30
mkroening
Status
Cancelled
Total duration
11m 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
58s
Clippy
1m 46s
Format
23s
Check docs
52s
Build
2m 7s
Test
1m 34s
Run Hermit for Rust (x86_64)
10m 54s
Run Hermit for Rust (aarch64)
9m 52s
Run Hermit for Rust (x86_64 + kvm)
11s
Annotations
6 errors
|
Run Hermit for Rust (x86_64 + kvm)
unable to access 'https://github.com/hermitcore/kernel/': The requested URL returned error: 400
|
|
Run Hermit for Rust (x86_64 + kvm)
unable to access 'https://github.com/hermitcore/kernel/': The requested URL returned error: 400
|
|
Run Hermit for Rust (x86_64 + kvm)
The process '/usr/bin/git' failed with exit code 1
|
|
Check
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.
|