Record metrics #17

Merged
jeffreypicard merged 2 commits from jeffreypicard/8/add-prometheus-metrics into master 2021-10-21 14:32:43 +02:00

2 commits

Author SHA1 Message Date
Jeffrey Picard
f0369e12e7 Cleanup metrics
Consolidated error metrics into a vector counter with a label,
removed other uneeded counters.
2021-10-21 02:52:03 -04:00
Jeffrey Picard
e043ca89c9 Record metrics
There are a couple metrics that try to mirror the ones from python,
many of the python ones don't apply, and vice-versa.
2021-10-15 17:26:37 -04:00