Repository navigation
miri no longer builds after rust-lang/rust#97995 #99224
Description
Activity
Miri was already in test-fail, so it didn't open a new issue for build-fail. Working as intended :)
Reacted by jyn- added a commit that references this issue
on Jul 14, 2022 rust-lang/miri#2372 fixes this :)
Reacted by jyn
Hello, this is your friendly neighborhood mergebot.
After merging PR #97995, 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 @RalfJung, do you think you would have time to do the follow-up work?
If so, that would be great!