Repository navigation
miri no longer builds after rust-lang/rust#97158 #97486
Description
Hello, this is your friendly neighborhood mergebot.
After merging PR #97158, I observed that the tool miri has failing tests.
A follow-up PR to the repository https://github.com/rust-lang/miri is needed to fix the fallout.
cc @JakobDegen, do you think you would have time to do the follow-up work?
If so, that would be great!
Activity
RalfJung commentedon May 28, 2022
Tons of test suite failures when testing with mir-opt; probably because the dead stores that cause UB got removed.
JakobDegen commentedon May 28, 2022
@rustbot claim
Auto merge of #2162 - RalfJung:rustup, r=RalfJung
RalfJung commentedon May 29, 2022
I'd like to land rust-lang/miri#2158 before we update the in-tree Miri.
Auto merge of #97546 - RalfJung:miri, r=oli-obk