Skip to content

Run Miri and fix issues #420

@Wodann

Description

@Wodann
  • claim this issue (assign yourself or comment below)
  • setup repository on your local machine and make sure all tests pass (cargo test)
  • read our contributing guidelines
  • run Miri on the mun codebase
  • fix all errors and warnings reported by Miri
  • (BONUS) add a ci job for running Miri
  • start a Pull Request. Set description to closes #420. If this is your first PR, welcome 🎉 😄

Metadata

Metadata

Assignees

Labels

exp: lowAchievable with little prior knowledge and guidancegood first issueGood for newcomerspri: lowAn issue with no impact to quality, performance, or functionalitytype: fixBug fix or report

Type

No type

Projects

No projects

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests

Issue actions