Repository navigation
miri no longer builds after rust-lang/rust#81761 #81770
Description
Hello, this is your friendly neighborhood mergebot.
After merging PR #81761, 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 @m-ou-se, do you think you would have time to do the follow-up work?
If so, that would be great!
Activity
osa1 commentedon Feb 5, 2021
Where can I learn more about how this check is done? I just built stage 1 compiler with current master, and I was able to build miri with
cargo +stage1 build.m-ou-se commentedon Feb 5, 2021
I'm guessing one of the tests is failing because it now needs a
#[allow(non_fmt_panic)]. The failure should be hidden somewhere in the logs of thetoolstaterunner: https://github.com/rust-lang-ci/rust/runs/1834930125m-ou-se commentedon Feb 5, 2021
rust-lang/miri#1701 should fix tihs.
osa1 commentedon Feb 5, 2021
Ah, so the problem is in one of the tests.. I only checked building.
Auto merge of #1701 - m-ou-se:non-fmt-panic-lint, r=oli-obk
RalfJung commentedon Feb 5, 2021
@osa1 usually,
x.py test --stage 0 src/tools/mirishould let you run the tests, but this is currently broken by #78778.Auto merge of rust-lang#81824 - RalfJung:miri, r=RalfJung