Details
-
Bug
-
Status: Closed
-
Major
-
Resolution: Fixed
-
None
-
None
-
None
Description
We seem to spending a chunk time doing partition pruning, it would be good to log timing information to indicate the amount of time we spend doing pruning. A little more granularity to indicate the time taken to build the filter tree and in the interpreter would also be good.