Replace DrainFilter
with ExtractIf
(#341)
#154
Job | Run time |
---|---|
12s | |
4m 17s | |
1m 33s | |
1m 51s | |
3m 35s | |
1s | |
11m 29s |
DrainFilter
with ExtractIf
(#341)
#154
Job | Run time |
---|---|
12s | |
4m 17s | |
1m 33s | |
1m 51s | |
3m 35s | |
1s | |
11m 29s |