Skip to content

Conversation

@FroyaTheHen
Copy link
Collaborator

@FroyaTheHen FroyaTheHen commented Jul 30, 2025

@reviewable-StarkWare
Copy link

This change is Reviewable

@FroyaTheHen FroyaTheHen self-assigned this Jul 30, 2025
@FroyaTheHen FroyaTheHen requested review from mkaput and orizi July 30, 2025 14:52
@FroyaTheHen FroyaTheHen marked this pull request as ready for review July 30, 2025 14:52
Copy link
Collaborator

@mkaput mkaput left a comment

Choose a reason for hiding this comment

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

:lgtm:

Reviewed 8 of 8 files at r1, all commit messages.
Reviewable status: :shipit: complete! all files reviewed, all discussions resolved (waiting on @orizi)

Copy link
Collaborator

@orizi orizi left a comment

Choose a reason for hiding this comment

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

:lgtm:

Reviewed 8 of 8 files at r1, all commit messages.
Reviewable status: :shipit: complete! all files reviewed, all discussions resolved (waiting on @FroyaTheHen)

@FroyaTheHen FroyaTheHen added this pull request to the merge queue Aug 1, 2025
Merged via the queue into main with commit 8d77118 Aug 1, 2025
49 checks passed
@orizi orizi deleted the spr/main/387772aa branch August 4, 2025 14:37
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.

check oracle docs formatting

5 participants