Skip to content

Conversation

@RalfJung
Copy link
Member

Makes progress towards #3842.
Supersedes #4342.

@rustbot
Copy link
Collaborator

rustbot commented Jul 27, 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 27, 2025
@RalfJung RalfJung enabled auto-merge July 27, 2025 11:43
@RalfJung RalfJung added this pull request to the merge queue Jul 27, 2025
Co-Authored-By: geetanshjuneja <ronitjuneja2002@gmail.com>
@RalfJung RalfJung removed this pull request from the merge queue due to a manual request Jul 27, 2025
@RalfJung RalfJung enabled auto-merge July 27, 2025 12:05
@RalfJung RalfJung added this pull request to the merge queue Jul 27, 2025
Merged via the queue into rust-lang:master with commit 1fc3bc9 Jul 27, 2025
14 checks passed
@RalfJung RalfJung deleted the check-shim branch July 27, 2025 12:56
@rustbot rustbot removed the S-waiting-on-review Status: Waiting for a review to complete label Jul 27, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants