-
Notifications
You must be signed in to change notification settings - Fork 13.6k
Closed
Labels
P-highHigh priorityHigh priorityT-compilerRelevant to the compiler team, which will review and decide on the PR/issue.Relevant to the compiler team, which will review and decide on the PR/issue.
Description
Hello, this is your friendly neighborhood mergebot.
After merging PR #63561, I observed that the tool miri no longer builds.
A follow-up PR to the repository https://github.com/rust-lang/miri is needed to fix the fallout.
cc @HeroicKatora, do you think you would have time to do the follow-up work?
If so, that would be great!
cc @oli-obk, the PR reviewer, and @rust-lang/compiler -- nominating for prioritization.
Metadata
Metadata
Assignees
Labels
P-highHigh priorityHigh priorityT-compilerRelevant to the compiler team, which will review and decide on the PR/issue.Relevant to the compiler team, which will review and decide on the PR/issue.
Type
Projects
Milestone
Relationships
Development
Select code repository
Activity
oli-obk commentedon Sep 3, 2019
I need to port parts of
tag_allocation
from miri to rustc and only keep the actual miri-parts in miri. I'll try to get it done by tomorrow night.nikomatsakis commentedon Sep 5, 2019
check-in from compiler triage:
Go @oli-obk, go! 🐎
Auto merge of #64211 - oli-obk:miri, r=eddyb