Removing Genv metrics if it is uninstalled

run-ai · Feb 7, 2024 · c107f1b · c107f1b
1 parent f13376a
commit c107f1b
Showing 1 changed file with 7 additions and 0 deletions.
diff --git a/genv/metrics/collection.py b/genv/metrics/collection.py
@@ -52,6 +52,13 @@ def cleanup(
                 if header and labelvalues[0] != header:
                     continue
 
+                if (
+                    system
+                    and not system.genv.installed
+                    and metric.spec.type not in [Type.General, Type.Device]
+                ):
+                    metric.remove(*labelvalues)
+
                 if snapshot and metric.spec.filter:
                     if not metric.spec.filter(
                         labelvalues[1:] if header else labelvalues, snapshot