The first time I used MIRI, it took one or two minutes (on x86_64-pc-windows-msvc), and when I used it again it finished almost immediately. I have no idea what it did and would like to know.
Miri needs to build
std with custom flags. I'm not an expert on what all is bundled in the sysroot, but you can find your (normal, non-miri) sysroot with
rustc --print sysroot.
So the so-called "sysroot" in Rust context means
std? I think we can add some hints or progress bars, similar to the cargo build process.
This topic was automatically closed 90 days after the last reply. We invite you to open a new topic if you have further questions or comments.