Conversation
|
Would it make sense to have a |
|
I was considering that, but I felt like miri is niche enough so it won't impact too many ppl. I can change it though if anyone thinks it's worthwile |
|
I don't mind either way, just thought i'd mention it in case you hadn't already considered and discarded the idea :-D |
|
Change-wise this looks good 👍 but I would be more comfortable if it were rebased so that there aren't fixup commits in the sequence. I can do this if you don't have time, so long as someone can tell me how to update someone else's PR :-) |
|
Updated |
|
Thanks! |
|
Will miri component be availiable in the next rustup release (1.17.0)? |
It was just added to the distribution in rust-lang/rust#57086
This PR enables calling
cargo miriafter installing themiricomponent