Apply suggestion from @Copilot

Co-authored-by: Copilot <175728472+Copilot@users.noreply.github.com>
2026-02-04 15:35:44 +00:00 · 2025-12-03 23:08:58 +07:00
parent f51ca33f25
commit b0093ff067
1 changed files with 1 additions and 1 deletions
--- a/tools/metrics.py
+++ b/tools/metrics.py
@ -55,7 +55,7 @@ def combine_maps(map_files, filters=None):
                # Apply path filters to JSON data
                if filters:
                    filtered_files = [
-                        f for f in json_data["files"]
+                        f for f in json_data.get("files", [])
                        if f.get("path") and any(filt in f["path"] for filt in filters)
                    ]
                    json_data["files"] = filtered_files