You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Is your feature request related to a problem or challenge? Please describe what you are trying to do.
The idea here is that push_batch_with_filter currently calls filter which copies the passing values into a new array only to then copy the values again into the final output
If we can remove the intermediate result we may be able to improve performance substantially