Skip to content

Conversation

@hulxv
Copy link
Contributor

@hulxv hulxv commented Dec 17, 2025

Related to #4725

@rustbot
Copy link
Collaborator

rustbot commented Dec 17, 2025

Thank you for contributing to Miri! A reviewer will take a look at your PR, typically within a week or two.
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 Dec 17, 2025
@RalfJung
Copy link
Member

@hulxv please do not submit half a dozen PRs at once. That feels like a DoS attack.
I'll likely have feedback for the first PR that I won't want to repeat for later PRs.

@hulxv
Copy link
Contributor Author

hulxv commented Dec 17, 2025

@hulxv please do not submit half a dozen PRs at once. That feels like a DoS attack. I'll likely have feedback for the first PR that I won't want to repeat for later PRs.

oh sorry for that xD
I just finished the work and opened a PR for each file depends on your instruction

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

S-waiting-on-review Status: Waiting for a review to complete

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants