From b0093ff067c1d3728d21a2e0756bc234cf2599c5 Mon Sep 17 00:00:00 2001 From: Ha Thach Date: Wed, 3 Dec 2025 23:08:58 +0700 Subject: [PATCH] Apply suggestion from @Copilot Co-authored-by: Copilot <175728472+Copilot@users.noreply.github.com> --- tools/metrics.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/tools/metrics.py b/tools/metrics.py index 7e54531f5..bb84f803e 100644 --- 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