Skip to content

Commit

Permalink
#11852: modify keys within device_info (#11852)
Browse files Browse the repository at this point in the history
  • Loading branch information
fzhengTT authored Aug 23, 2024
1 parent 75ab0ef commit c1c099f
Showing 1 changed file with 2 additions and 2 deletions.
4 changes: 2 additions & 2 deletions infra/data_collection/github/utils.py
Original file line number Diff line number Diff line change
Expand Up @@ -366,8 +366,8 @@ def create_csv_for_github_benchmark_environment(github_benchmark_environment_csv

device_info = json.dumps(
{
"device_type": device_type,
"device_memory_size": device_memory_size,
"card_type": device_type,
"dram_size": device_memory_size,
}
)

Expand Down

0 comments on commit c1c099f

Please sign in to comment.