chore: Round numeric columns to two decimal places in get_leaderboard_df

src/populate.py

@@ -13,5 +13,6 @@ def get_leaderboard_df(results_repo, results_path, dataset_version):
     hf_leaderboard = load_dataset(results_repo, dataset_version, split="test", cache_dir=results_path)
     df = hf_leaderboard.to_pandas()
     df = df.sort_values(by="Total", ascending=False)
+    df = df.round(2)  # Round all numeric columns to two decimal places
     print(df)
     return df