Closed

Description
Miri is in "test pass" state in https://rust-lang-nursery.github.io/rust-toolstate/ since #78990 and #78937 has been closed. Also I didn't found any new issue from @rust-highfive
about Miri in rust-lang/rust
, so I assume Miri should build from the master
branch of it.
However, Miri is not available in the latest nightly (nightly-2020-11-17
, f5230fb) from rustup
. f5230fb already contains #78990. Actually Miri is missing since nightly-2020-11-10
, and is still missing even #78990 has been merged.
I can't find any additional information about Miri in the latest nightly. What's going on with it?
Edit: I mentioned the wrong PR. It should be #78990 instead of #78890
.