Skip to content

refactor: rename TreeHeight => SubTreeHeight and TreeHeight::MAX => TreeHeight::ACTUAL_HEIGHT #192

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged

Conversation

nimrod-starkware
Copy link
Contributor

@nimrod-starkware nimrod-starkware commented Jun 4, 2024

This change is Reviewable

@codecov-commenter
Copy link

Codecov Report

All modified and coverable lines are covered by tests ✅

Project coverage is 61.47%. Comparing base (fcb1bf0) to head (9367185).

Additional details and impacted files
@@                                   Coverage Diff                                    @@
##           nimrod/tree_height/remove_tree_height_from_updated_tree     #192   +/-   ##
========================================================================================
  Coverage                                                    61.47%   61.47%           
========================================================================================
  Files                                                           36       36           
  Lines                                                         1612     1612           
  Branches                                                      1612     1612           
========================================================================================
  Hits                                                           991      991           
  Misses                                                         571      571           
  Partials                                                        50       50           

☔ View full report in Codecov by Sentry.
📢 Have feedback on the report? Share it here.

@nimrod-starkware nimrod-starkware force-pushed the nimrod/tree_height/remove_tree_height_from_updated_tree branch 2 times, most recently from 6aab617 to 482b2f5 Compare June 4, 2024 07:38
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.

:lgtm:

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

Base automatically changed from nimrod/tree_height/remove_tree_height_from_updated_tree to main June 4, 2024 07:42
@nimrod-starkware nimrod-starkware force-pushed the nimrod/tree_height/define_height_as_constant branch from 9367185 to 4f8e3dd Compare June 4, 2024 07:42
@nimrod-starkware nimrod-starkware added this pull request to the merge queue Jun 4, 2024
Merged via the queue into main with commit 24f214e Jun 4, 2024
21 checks passed
@nimrod-starkware nimrod-starkware deleted the nimrod/tree_height/define_height_as_constant branch June 4, 2024 07:44
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