Skip to content

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

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

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

Triggered via pull request January 8, 2024 11:15
Status Success
Total duration 12m 22s
Artifacts
This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

push.yaml

on: pull_request
Matrix: Run sel4test
Check dependencies
3m 8s
Check dependencies
Check Kani proofs
3m 8s
Check Kani proofs
Build everything
7m 18s
Build everything
Deploy docs
0s
Deploy docs
Fit to window
Zoom out
Zoom in