Skip to content

Conversation

RalfJung
Copy link
Member

This is based on rust-lang/rust#143906.

@RalfJung RalfJung added the S-blocked Status: blocked on something happening somewhere else label Jul 19, 2025
@rustbot
Copy link
Collaborator

rustbot commented Jul 19, 2025

Thank you for contributing to Miri!
Please remember to not force-push to the PR branch except when you need to rebase due to a conflict or when the reviewer asks you for it.

@rustbot rustbot added the S-waiting-on-review Status: Waiting for a review to complete label Jul 19, 2025
@RalfJung RalfJung removed the S-waiting-on-review Status: Waiting for a review to complete label Jul 21, 2025
@rustbot
Copy link
Collaborator

rustbot commented Aug 18, 2025

☔ The latest upstream changes (possibly cf97d7d) made this pull request unmergeable. Please resolve the merge conflicts.

@oli-obk oli-obk added S-waiting-on-author Status: Waiting for the PR author to address review comments and removed S-blocked Status: blocked on something happening somewhere else labels Aug 18, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
S-waiting-on-author Status: Waiting for the PR author to address review comments
Projects
None yet
Development

Successfully merging this pull request may close these issues.

4 participants