Skip to content

Conversation

@orizi
Copy link
Collaborator

@orizi orizi commented Oct 27, 2025

No description provided.

@orizi orizi requested a review from TomerStarkware October 27, 2025 16:20
@reviewable-StarkWare
Copy link

This change is Reviewable

SIERRA_UPDATE_PATCH_CHANGE_TAG=No interface changes.
@orizi orizi force-pushed the orizi/non-small-map branch from db4e2dd to 629f9ab Compare October 27, 2025 16:25
Copy link
Collaborator

@TomerStarkware TomerStarkware left a comment

Choose a reason for hiding this comment

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

:lgtm:

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

@orizi orizi added this pull request to the merge queue Oct 28, 2025
Merged via the queue into dev-v2.13.1 with commit 1e35d10 Oct 28, 2025
54 checks passed
@orizi orizi deleted the orizi/non-small-map branch October 28, 2025 13:06
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