Update Leaderboards Column Name

play_with_hf.py

@@ -142,7 +142,7 @@ with (demo.route("Leaderboards", "/leaderboards") as demo_leaderboard):
 
             for lv in ['1', '2', '3']:
                 cur_df = df_leaderboards_all.loc[df_leaderboards_all.Level.eq(lv)].groupby("User").apply(get_best)
-                ret_leaderboards[lv] = cur_df.reset_index() if len(cur_df) else add_dummies()
+                ret_leaderboards[lv] = (cur_df.reset_index() if len(cur_df) else add_dummies()).rename({"Attempts": "Turns"}, axis=1)
 
         return ret_leaderboards