CI

chore: remove explicit dependency on tock-registers #1766

Sign in to view logs

Triggered via pull request October 4, 2023 09:17

mkroening

opened #938

mkroening:rm-tock

Status Success

Total duration 17m 44s

Artifacts –

ci.yml

on: pull_request

Run Hermit for Rust (x86_64)

Run Hermit for Rust (aarch64)

Run Hermit for Rust (x86_64 + kvm)