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

Add Miri to CI #2

Closed
seqre opened this issue Jul 10, 2024 · 0 comments · Fixed by #74
Closed

Add Miri to CI #2

seqre opened this issue Jul 10, 2024 · 0 comments · Fixed by #74
Assignees
@seqre
Labels
ci Continuous Integration enhancement New feature or request

Comments

@seqre
Copy link
Member

seqre commented Jul 10, 2024

Miri would be a nice addition to the CI, but sqlx-sqlite crate currently errors when using it. If/when it gets resolved, we can include miri back.
@seqre seqre added enhancement New feature or request ci Continuous Integration blocked labels Jul 10, 2024
@m4tx m4tx added this to Roadmap Jul 30, 2024
@m4tx m4tx moved this to In progress in Roadmap Nov 20, 2024
@seqre seqre linked a pull request Nov 20, 2024 that will close this issue
ci: setup miri #74
Merged
@m4tx m4tx removed the blocked label Nov 20, 2024
@seqre seqre closed this as completed in #74 Dec 5, 2024
@github-project-automation github-project-automation bot moved this from In progress to Done in Roadmap Dec 5, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@seqre seqre

Labels
ci Continuous Integration enhancement New feature or request
Projects
Roadmap
Status: Done
Milestone
No milestone
Development

Successfully merging a pull request may close this issue.

ci: setup miri cot-rs/cot
2 participants
@m4tx @seqre