From f93b73ce87d9666ef973eb5063637d7ab3088110 Mon Sep 17 00:00:00 2001 From: Ethen Pociask Date: Tue, 11 Jul 2023 23:20:38 -0700 Subject: [PATCH] [epociask/execution-timing-metric] Resolving merge conflicts --- internal/metrics/metrics.go | 1 + 1 file changed, 1 insertion(+) diff --git a/internal/metrics/metrics.go b/internal/metrics/metrics.go index 0c4a073e..0b145088 100644 --- a/internal/metrics/metrics.go +++ b/internal/metrics/metrics.go @@ -38,6 +38,7 @@ type Metricer interface { RecordAlertGenerated(alert core.Alert) RecordNodeError(network core.Network) RecordPipelineLatency(pUUID core.PUUID, latency float64) + RecordInvExecutionTime(inv invariant.Invariant, latency float64) RecordUp() Start() Shutdown(ctx context.Context) error