Back to pull request #912

Make `core_scheduler` sound #1703

Sign in to view logs

Triggered via pull request September 18, 2023 17:59

mkroening

synchronize #912

mkroening:core-scheduler

Status Success

Total duration 23m 26s

Artifacts –

This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

ci.yml

on: pull_request

Run Hermit for Rust (x86_64)

Run Hermit for Rust (aarch64)

Run Hermit for Rust (x86_64 + kvm)