CI

crates/sel4-hal-adapters: Update after changes to `RingBuffer` API #190

Sign in to view logs

Triggered via pull request January 8, 2024 11:15

nspin

opened #60

nspin:pr/update-hal-adapters

Status Success

Total duration 12m 22s

Artifacts –

push.yaml

on: pull_request

Matrix: Run sel4test

Run other tests

Check dependencies

Check Kani proofs

Build everything