Append os_name tag to all builders

MariaDB · Feb 6, 2025 · 209a041 · 209a041
1 parent 39719db
commit 209a041
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/master.cfg b/master.cfg
@@ -122,6 +122,9 @@ for arch in master_config["builders"]:
         build_type = builders_group[os_name]["type"]
 
         tags = builders_group[os_name]["tags"]
+        # For easier searching in Builders tab for all sub-builders, like
+        # autobake, install, upgrade from the same OS.
+        tags.append(os_name)
         # Add builder only if it's not a protected branches one
         if builder not in GITHUB_STATUS_BUILDERS:
             c["builders"].append(