fornjot icon indicating copy to clipboard operation
fornjot copied to clipboard

Published 20 hours ago • verified publisher icon hannobraun

Consider adding Miri to the CI workflow

Open hendrikmaus opened this issue 3 years ago • 1 comments

Miri is a tool to aid spotting undefined behavior in Rust programs. It might be interesting to add this to one's CI pipeline. I have yet to experiment with this myself though.

hendrikmaus avatar Feb 18 '22 18:02 hendrikmaus

Sounds good!

I haven't used Miri either, and we don't do a whole lot of unsafe (barely any, I think, aside from fj::Sketch), but I think it's a good precaution.

hannobraun avatar Feb 18 '22 22:02 hannobraun

This issue has been open for a long time, and nothing has been done about it. Adding Miri to the CI build is not a bad idea, but as this point, I see no value in keeping track of it in an open issue. Closing.

hannobraun avatar Jul 05 '23 14:07 hannobraun