Skip to content
Run miri tests

Merge pull request #116 from jamesmunns/james/bbq2-primary #4

Sign in to view logs

Merge pull request #116 from jamesmunns/james/bbq2-primary

Merge pull request #116 from jamesmunns/james/bbq2-primary #4

Triggered via push January 4, 2026 22:03
@jamesmunnsjamesmunns
pushed da1a0c2
main
Status Success
Total duration 45s
Artifacts –

miri.yml

on: push
miri all the things
43s
miri all the things
Fit to window
Zoom out
Zoom in