issues
search
mun-lang
/
mun
Source code for the Mun language and runtime.
https://mun-lang.org
Other
1.87k
stars
73
forks
source link
Run Miri and fix issues
#420
Open
Wodann
opened
2 years ago
Wodann
commented
2 years ago
[x] 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 :tada: :smile:
belagoesr
commented
1 year ago
I'll be taking this one!
cargo test
)mun
codebasecloses #420
. If this is your first PR, welcome :tada: :smile: