Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
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
Faster pruner #2376
Faster pruner #2376
Changes from 34 commits
786db94
2b159b9
e967f64
9f38ace
fd64220
98e5fca
bf793b1
97c9046
20db4ef
092c237
5a20ecf
52e3e52
86ba850
26160d6
cf9f645
a70451e
26d32a6
52c014b
bb30149
ead0ff8
6f64eed
646c8d4
abf147f
f914eb6
1aa4ec3
9e9fd5d
fccc09a
f23255f
574aa68
5aca50a
76e95dc
5f49454
5f2dc27
bf53386
4f621c0
89509d7
File filter
Filter by extension
Conversations
Jump to
There are no files selected for viewing