Index: tools/builder_name_schema.json |
diff --git a/tools/builder_name_schema.json b/tools/builder_name_schema.json |
index cffe9bfd894b02eaa92f67c73fcbb3929dea8483..6a8c92175b2af3644c4f267c9bb8d5dd372c8bd4 100644 |
--- a/tools/builder_name_schema.json |
+++ b/tools/builder_name_schema.json |
@@ -12,6 +12,9 @@ |
"Housekeeper": [ |
"frequency" |
], |
+ "Infra": [ |
+ "frequency" |
+ ], |
"Build": [ |
"os", |
"compiler", |