Skip to content
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

Used builder for build_get_builtin_costs. #4627

Merged
merged 1 commit into from
Dec 21, 2023
Merged

Conversation

Copy link
Contributor

@gilbens-starkware gilbens-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 1 of 1 files at r1, all commit messages.
Reviewable status: :shipit: complete! all files reviewed, all discussions resolved (waiting on @orizi)

@orizi orizi changed the base branch from pr/orizi/refactoring/0212bb07 to main December 21, 2023 11:01
@orizi orizi force-pushed the pr/orizi/refactoring/838da855 branch from c9ce76f to 16c1d2f Compare December 21, 2023 11:01
@orizi orizi changed the base branch from main to pr/orizi/refactoring/14952374 December 21, 2023 11:01
@orizi orizi changed the base branch from pr/orizi/refactoring/14952374 to main December 21, 2023 11:47
@orizi orizi force-pushed the pr/orizi/refactoring/838da855 branch from 16c1d2f to a389301 Compare December 21, 2023 11:48
@orizi orizi enabled auto-merge December 21, 2023 11:48
@orizi orizi added this pull request to the merge queue Dec 21, 2023
Merged via the queue into main with commit edbeae8 Dec 21, 2023
77 checks passed
@orizi orizi deleted the pr/orizi/refactoring/838da855 branch December 21, 2023 14:58
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.

2 participants