Add a miri test to ci
Open
Nobody has claimed this yet.
A-testing
help wanted
- Dominant language
- Rust
- Stars
- 694
- Forks
- 336
- Avg merge
- 5d 14h
- Merged PRs (30d)
- 9
Description
We have to keep in mind that miri can be out of sync compared to the current nightly.
this snippet should provide the basis for it.
Contributor guide
First steps
- Read the whole issue, then the project's contributing guide.
- Comment on the issue to say you are picking it up — it saves two people doing the same work.
- Fork the repository and make your change on a branch.
- Open a pull request that references the issue number.
Research direction
Start with the repository's CI configuration and the linked Miri "Running Miri on CI" snippet. Account for Miri being out of sync with the current nightly, and consider the work done when an appropriate Miri test runs reliably in CI.
Written by the indexing model from the issue text.
Assessment
- Tech stack
- rust
- Domain
- ci-cd
- Issue type
- Feature
- Difficulty
- 3/5
- Estimated time
- 1-2 days
- Activity status
- Stale
- Clarity
- Mostly clear
- Newbie friendliness
- 45/100