Improvement: enable Miri #89
Description
Enable Miri for tests and in CI workflow. Maybe Kyron can be used as a basis.
Metadata
Metadata
Assignees
Labels
No labels
{{ message }}
Enable Miri for tests and in CI workflow. Maybe Kyron can be used as a basis.