Renamed results_table to leaderboard_table

app.py

@@ -311,7 +311,7 @@ with gr.Blocks(theme=gr.themes.Soft(text_size=text_md), css=custom_css) as main:
                     )
                 
                 with gr.Row():
-                    results_table = gr.DataFrame(
+                    leaderboard_table = gr.DataFrame(
                         leaderboard_server.get_leaderboard(category=leaderboard_server.TASKS_CATEGORY_OVERALL),
                         interactive=False,
                         label=None,
@@ -321,7 +321,7 @@ with gr.Blocks(theme=gr.themes.Soft(text_size=text_md), css=custom_css) as main:
                     )
                 
                 with gr.Row():
-                    results_table_legend = gr.DataFrame(
+                    leaderboard_table_legend = gr.DataFrame(
                         value=None,
                         headers=[
                             "Abbr.", # "task abbreviation"
@@ -368,8 +368,8 @@ with gr.Blocks(theme=gr.themes.Soft(text_size=text_md), css=custom_css) as main:
                         tournament_results_dropdown,
                     ],
                     outputs=[
-                        results_table,
-                        results_table_legend,
+                        leaderboard_table,
+                        leaderboard_table_legend,
                         tournament_results_title,
                         tournament_results_dropdown,
                         model_tournament_results_table,
@@ -490,7 +490,7 @@ with gr.Blocks(theme=gr.themes.Soft(text_size=text_md), css=custom_css) as main:
                         submit_prompt,
                         pre_submit_info,
                         pre_submit_table,
-                        results_table,
+                        leaderboard_table,
                         modal_submit,
                         detail_dropdown,
                         category_of_tasks,
@@ -519,7 +519,7 @@ with gr.Blocks(theme=gr.themes.Soft(text_size=text_md), css=custom_css) as main:
         on_application_load,
         inputs=None,
         outputs=[
-            results_table,
+            leaderboard_table,
             detail_dropdown,
             category_of_tasks,
             tournament_results_dropdown,