Skip to content

ci: Add miri to CI#64

Open
EmilyMatt wants to merge 1 commit intosimd-lite:mainfrom
EmilyMatt:miri
Open

ci: Add miri to CI#64
EmilyMatt wants to merge 1 commit intosimd-lite:mainfrom
EmilyMatt:miri

Conversation

@EmilyMatt
Copy link

@EmilyMatt EmilyMatt commented Feb 24, 2026

Requires #63 to be merged first
(But also needs to be run first, these are old actions, I'm not sure I'm using them correctly)

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant