Skip to content

Conversation

SozinM
Copy link
Collaborator

@SozinM SozinM commented Jun 16, 2025

πŸ“ Summary

πŸ’‘ Motivation and Context


βœ… I have completed the following steps:

  • Run make lint
  • Run make test
  • Added tests (if applicable)

@SozinM SozinM merged commit b248d3b into main Jun 16, 2025
1 of 2 checks passed
@SozinM SozinM deleted the msozin/remove-extra-generic-from-revert-prot branch June 16, 2025 12:52
@SozinM
Copy link
Collaborator Author

SozinM commented Jun 16, 2025

Lint error would be fixed separately

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.

4 participants