Make core_scheduler sound
#1684
Triggered via pull request
September 18, 2023 16:39
mkroening
Status
Success
Total duration
23m 3s
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
1m 5s
Clippy
1m 44s
Format
26s
Check docs
48s
Build
1m 40s
Test
1m 20s
Run Hermit for Rust (x86_64)
19m 37s
Run Hermit for Rust (aarch64)
12m 18s
Run Hermit for Rust (x86_64 + kvm)
4m 19s