Integrated: 1482: Add more metrics

Thu Jun 16 13:48:20 UTC 2022

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.

This pull request has now been integrated.

Changeset: af100a5f
Author:    Erik Joelsson <erikj at openjdk.org>
URL:       https://git.openjdk.org/skara/commit/af100a5f86c23d3b75e5f674d3b294d3d6edfa12
Stats:     12 lines in 1 file changed: 9 ins; 0 del; 3 mod

1482: Add more metrics

Reviewed-by: ehelin

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

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