Add a crate for embeded_hal (etc.) driver adapters #159

Sign in to view logs

Triggered via pull request December 25, 2023 16:18

nspin

synchronize #25

protoben:hamlinb/hal-adapters

Status Success

Total duration 12m 48s

Artifacts –

push.yaml

on: pull_request

Matrix: Run sel4test

Run other tests

Check dependencies

Check Kani proofs

Build everything