Make core_scheduler sound
#1671
Triggered via pull request
September 18, 2023 16:18
mkroening
Status
Failure
Total duration
16m 13s
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
21s
Check docs
55s
Build
1m 49s
Test
1m 45s
Run Hermit for Rust (x86_64)
16m 3s
Run Hermit for Rust (aarch64)
11m 53s
Run Hermit for Rust (x86_64 + kvm)
10s
Annotations
4 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.
|