diff options
| author | Ha Thach <[email protected]> | 2025-12-03 23:08:58 +0700 |
|---|---|---|
| committer | GitHub <[email protected]> | 2025-12-03 23:08:58 +0700 |
| commit | b0093ff067c1d3728d21a2e0756bc234cf2599c5 (patch) | |
| tree | c932c34c2fb2b37fe6989515f5f804208f123112 | |
| parent | f51ca33f25841147e93c72458c927261806cdc0e (diff) | |
Apply suggestion from @Copilot
Co-authored-by: Copilot <[email protected]>
| -rw-r--r-- | tools/metrics.py | 2 |
1 files changed, 1 insertions, 1 deletions
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 |