gusto 46d53479a2 Prometheus metrics service (#522) ... * A wrapper crate for prometheus client * Initial integration of metrics for mempool * Merge mempool metrics imports * Add cli flag to enable metrics * Add nomos metrics service for serving metrics * Use nomos prometheus metrics in the node * Rename metrics to registry where applicable * Expose metrics via http * Featuregate the metrics service * Style and fail on encode error * Add metrics cargo feature for mempool		2024-01-12 16:15:12 +02:00
..
mixnode	New http api to nomos-node integration (#490)	2023-11-08 16:55:47 +08:00
nomos-node	Prometheus metrics service (#522)	2024-01-12 16:15:12 +02:00