Skip to content

starknet_patricia: rename standalone adjective variable#12549

Merged
dan-starkware merged 3 commits intomain-v0.14.2from
02-12-starknet_patricia_rename_standalone_adjective_variable
Feb 14, 2026
Merged

starknet_patricia: rename standalone adjective variable#12549
dan-starkware merged 3 commits intomain-v0.14.2from
02-12-starknet_patricia_rename_standalone_adjective_variable

Conversation

@dan-starkware
Copy link
Collaborator

No description provided.

@reviewable-StarkWare
Copy link

This change is Reviewable

Copy link
Collaborator

@dorimedini-starkware dorimedini-starkware left a comment

Choose a reason for hiding this comment

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

@dorimedini-starkware reviewed 1 file and all commit messages.
Reviewable status: :shipit: complete! all files reviewed, all discussions resolved (waiting on @dan-starkware).

@dan-starkware dan-starkware force-pushed the 02-12-starknet_patricia_rename_standalone_adjective_variable branch from 95bdc71 to 0b8e14f Compare February 14, 2026 07:18
@dan-starkware dan-starkware force-pushed the 02-12-blockifier_rename_standalone_adjective_variables branch from 8ed7370 to 190a11b Compare February 14, 2026 07:18
@dan-starkware dan-starkware changed the base branch from 02-12-blockifier_rename_standalone_adjective_variables to main-v0.14.2 February 14, 2026 12:47
Copy link
Collaborator Author

@dan-starkware dan-starkware left a comment

Choose a reason for hiding this comment

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

@dan-starkware reviewed 4 files and all commit messages.
Reviewable status: :shipit: complete! all files reviewed, all discussions resolved (waiting on @dan-starkware).

@dan-starkware dan-starkware added this pull request to the merge queue Feb 14, 2026
Merged via the queue into main-v0.14.2 with commit cf00e34 Feb 14, 2026
18 of 32 checks passed
@github-actions github-actions bot locked and limited conversation to collaborators Feb 16, 2026
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants