An aggregator for Pants stats, such as cache metrics.
Config section: <span style="color: purple"><code>[stats]</code></span>
## Basic options
None
## Advanced options
<div style="color: purple"> <h3><code>log</code></h3> <code>--[no-]stats-log</code><br> <code>PANTS_STATS_LOG</code><br> </div> <div style="padding-left: 2em;"> <span style="color: green">default: <code>False</code></span>
<br>
At the end of the Pants run, log all counter metrics and summaries of observation histograms, e.g. the number of cache hits and the time saved by caching.
For histogram summaries to work, you must add `hdrhistogram
` to `[GLOBAL].plugins
`.
</div> <br>
## Deprecated options
None