Skip to content

Conversation

@sayantn
Copy link
Contributor

@sayantn sayantn commented Nov 10, 2025

No description provided.

@rustbot
Copy link
Collaborator

rustbot commented Nov 10, 2025

r? @folkertdev

rustbot has assigned @folkertdev.
They will have a look at your PR within the next two weeks and either review your PR or reassign to another reviewer.

Use r? to explicitly pick a reviewer

Copy link
Contributor

@folkertdev folkertdev left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Did you find these by hand, or in some automated way?

@sayantn
Copy link
Contributor Author

sayantn commented Nov 11, 2025

By hand lol, I think I will verify by modifying stdarch_verify first

Copy link
Contributor

@folkertdev folkertdev left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Well this looks good to me, so please merge it if you think it's ready, or we can wait if you want to work on that verify change first.

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.

3 participants