Convert gauges into metrics - #136

Open

jannikluhn wants to merge 2 commits into

mainfrom

chore/metrics-counters

Commits on Aug 12, 2026

metrics: use counters instead of gauges for monotonic totals
jannikluhn
committed
42e8345

Commits on Aug 14, 2026

metrics: rename counters to the _total suffix convention
jannikluhn
committed
adc5105