Add refresh button to leaderboard

app.py

@@ -36,6 +36,14 @@ submission_uploader = SubmissionUploader(
 )
 
 
+def get_leaderboard_for_task(task_pretty: str) -> gr.components.Dataframe:
+    return gr.components.Dataframe(
+        value=get_results_for_task(task_pretty),
+        interactive=False,
+        datatype=get_types_per_task(TASKS_PRETTY_REVERSE[task_pretty]),
+    )
+
+
 with gr.Blocks() as demo:
     # intro
     gr.HTML(INTRODUCTION_TITLE)
@@ -50,10 +58,13 @@ with gr.Blocks() as demo:
                 with gr.Row():
                     gr.Markdown(TASKS_DESCRIPTIONS[TASKS_PRETTY_REVERSE[task_pretty]])
 
-                leaderboard_table = gr.components.Dataframe(
-                    value=get_results_for_task(task_pretty),
-                    interactive=False,
-                    datatype=get_types_per_task(TASKS_PRETTY_REVERSE[task_pretty]),
+                leaderboard_table = get_leaderboard_for_task(task_pretty)
+
+                refresh_button = gr.Button("🔄 Refresh", variant="secondary")
+                refresh_button.click(
+                    get_leaderboard_for_task,
+                    inputs=[gr.components.Markdown(task_pretty, render=False)],
+                    outputs=[leaderboard_table],
                 )
 
     # submission
@@ -136,5 +147,5 @@ with gr.Blocks() as demo:
         )
 
 if __name__ == "__main__":
-    demo.queue(default_concurrency_limit=1)
+    demo.queue()
     demo.launch()