diff --git a/.github/scripts/filter_core_ids_by_standard.py b/.github/scripts/filter_core_ids_by_standard.py index 8d2a961f5..3e3875baf 100644 --- a/.github/scripts/filter_core_ids_by_standard.py +++ b/.github/scripts/filter_core_ids_by_standard.py @@ -93,6 +93,7 @@ def main() -> int: filtered_core_ids = collect_filtered_core_ids(rules_root, args.standards) output_core_ids = intersect_with_requested(filtered_core_ids, args.core_ids) + print(" ".join(filtered_core_ids)) print(" ".join(output_core_ids)) return 0