This repository was archived by the owner on Feb 17, 2025. It is now read-only.

[Aggregator] Add metrics package and ConnectedProvers metric#1502

Merged

kind84 merged 2 commits intodevelopfrom

feature/1497-aggregator-metrics

Jan 5, 2023

Commits on Jan 3, 2023

feat: add metrics pkg and connected provers metric
kind84
committed

Commits on Jan 5, 2023

chore: expose aggregator metrics port
kind84
committed