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

Reduce memory overhead of searches #6471

Open
wants to merge 22 commits into
base: master
Choose a base branch
from
Open

Reduce memory overhead of searches #6471

wants to merge 22 commits into from
+522 −236

Conversation

TipzCM
Copy link
Collaborator

@TipzCM TipzCM commented Nov 14, 2024

closes #6469

@github-actions GitHub Actions
Copy link

github-actions bot commented Nov 14, 2024 •
edited
Loading

Formatting check succeeded!

michaelabuckley
michaelabuckley approved these changes Nov 14, 2024
View reviewed changes
Copy link
Contributor

@michaelabuckley michaelabuckley left a comment

Choose a reason for hiding this comment

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

Nice. This isn't as fussy as I feared.

@TipzCM TipzCM enabled auto-merge (squash) November 21, 2024 18:16
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@michaelabuckley michaelabuckley michaelabuckley approved these changes

@fil512 fil512 Awaiting requested review from fil512 fil512 is a code owner

@tadgh tadgh Awaiting requested review from tadgh tadgh is a code owner

@AD1306 AD1306 Awaiting requested review from AD1306 AD1306 is a code owner

At least 1 approving review is required to merge this pull request.

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

Successfully merging this pull request may close these issues.

Searches for large amounts of resources can use up a lot of in-memory resources
2 participants
@TipzCM @michaelabuckley