diff --git a/Tools/generate_board_targets_json.py b/Tools/generate_board_targets_json.py index ba6cce5fde..8d59c0b195 100755 --- a/Tools/generate_board_targets_json.py +++ b/Tools/generate_board_targets_json.py @@ -170,6 +170,6 @@ if (args.group): 'arch': arch }) temp_group = [] - print(json.dumps(final_groups, **extra_args)) + print(json.dumps({ "include": final_groups }, **extra_args)) else: print(json.dumps(github_action_config, **extra_args))