Skip to content

Add richer metrics to JSON formatter#1164

Merged
sferik merged 8 commits intomainfrom
json-formatter-metrics
Apr 17, 2026
Merged

Add richer metrics to JSON formatter#1164
sferik merged 8 commits intomainfrom
json-formatter-metrics

Commits

Commits on Apr 17, 2026