RFR: 1482: Add more metrics

[Erik Joelsson]

On Thu, 16 Jun 2022 12:47:34 GMT, Erik Joelsson <erikj at openjdk.org> wrote:

> In order to better analyze Skara bot performance, I need more metrics. Specifically the skara_runner_*_time gauges are pretty useless in their current form. They would be more useful as counters so we could look at the total execution time for workitems for a specific bot instead of randomly picked single executions of the same.

Thanks. I will likely drop the gauges in the future, but for now, I would rather keep as much information as possible to figure out what is relevant and what isn't from looking at actual data.

-------------

PR: https://git.openjdk.org/skara/pull/1339