Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Enable MIRI testing #391

Open
wcampbell0x2a opened this issue Dec 27, 2023 · 0 comments
Open

Enable MIRI testing #391

wcampbell0x2a opened this issue Dec 27, 2023 · 0 comments
Labels
upstream

Comments

@wcampbell0x2a
Copy link
Collaborator

wcampbell0x2a commented Dec 27, 2023 •
edited

To my understanding, miri doesn't really like some of bitvec's data structure. Before bitvec-v1.0.0 we tested this in CI as it worked! With the update to bitvec-v1.0.0 we commented that check out. This comment out was removed with the new CI: #390.

Anyway, if possible. enable this back on CI!

See:
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
upstream
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
1 participant
@wcampbell0x2a