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

remove children slice when pruning #11402

Merged
merged 2 commits into from
Sep 5, 2022
Merged

remove children slice when pruning #11402

merged 2 commits into from
Sep 5, 2022

Conversation

potuz
Copy link
Contributor

@potuz potuz commented Sep 5, 2022

Hint the GC by removing all references to children's nodes.

@potuz potuz requested a review from a team as a code owner September 5, 2022 12:57
@potuz potuz added Ready For Review A pull request ready for code review OK to merge labels Sep 5, 2022
@prylabs-bulldozer prylabs-bulldozer bot merged commit 135c30e into develop Sep 5, 2022
@delete-merged-branch delete-merged-branch bot deleted the remove_children_pruning branch September 5, 2022 16:44
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@terencechain terencechain terencechain approved these changes

@rkapka rkapka Awaiting requested review from rkapka rkapka is a code owner automatically assigned from prysmaticlabs/core-team

@symbolpunk symbolpunk Awaiting requested review from symbolpunk symbolpunk is a code owner automatically assigned from prysmaticlabs/core-team

Assignees
No one assigned
Labels
Ready For Review A pull request ready for code review
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
2 participants
@potuz @terencechain