Add try_filter_leaves
to propagate error from filter closure
#6240
Job | Run time |
---|---|
1m 27s | |
1m 55s | |
3m 54s | |
2m 17s | |
1m 49s | |
11m 22s |
try_filter_leaves
to propagate error from filter closure
#6240
Job | Run time |
---|---|
1m 27s | |
1m 55s | |
3m 54s | |
2m 17s | |
1m 49s | |
11m 22s |