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.

Sign up for GitHub

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

Jump to bottom

Use the new Bellpepper add gadget #839

Merged
merged 2 commits into from
Nov 2, 2023
Merged

Use the new Bellpepper add gadget #839

merged 2 commits into from
Nov 2, 2023

Conversation

jobez
Copy link
Contributor

@jobez jobez commented Nov 1, 2023

Resolves #819

Beginning with just calling the add method as defined by bellpepper over AllocatedNum.

@jobez jobez force-pushed the refactor/use_bellpepper_add_gadget branch from fff6d76 to f32d3c0 Compare November 1, 2023 22:12
@jobez jobez changed the title minimum change to sanity check approach Use the new Bellpepper add gadget Nov 1, 2023
@jobez jobez marked this pull request as ready for review November 1, 2023 22:13
@jobez jobez requested review from a team as code owners November 1, 2023 22:13
arthurpaulino
arthurpaulino approved these changes Nov 2, 2023
View reviewed changes
Copy link
Contributor

@arthurpaulino arthurpaulino left a comment

Choose a reason for hiding this comment

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

Thanks! This is a clean replacement 🙏🏼

@arthurpaulino arthurpaulino added this pull request to the merge queue Nov 2, 2023
Merged via the queue into lurk-lab:master with commit ebbbe81 Nov 2, 2023
24 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@arthurpaulino arthurpaulino arthurpaulino approved these changes

Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.

Use the new Bellpepper add gadget
2 participants
@jobez @arthurpaulino