feat: add download button

app.py

@@ -10,7 +10,18 @@ def restart_space():
     HF_API.restart_space(repo_id=HF_LEADERBOARD)
     
 
+def download_leaderboard(type):
+    verified_lb, unverified_lb = generate_leaderboard_df()
+    if type == "verified":
+        df_to_download = verified_lb
+    if type == "unverified":
+        df_to_download = unverified_lb
 
+    path = f"data/{type}_leaderboard.csv"
+    if os.path.exists(path):
+        os.remove(path)
+    df_to_download.to_csv(path, index=False)
+    return path
 
 
 if __name__ == "__main__":
@@ -33,6 +44,10 @@ if __name__ == "__main__":
                 column_widths=["20%"],
                 wrap=True,
             )
+            verified_download = gr.DownloadButton(
+                label="Download Leaderboard",
+                elem_id="download-verified-lb",
+            )
         
         with gr.Tab("Unvalidated"):
             unverified_table = gr.Dataframe(
@@ -42,9 +57,24 @@ if __name__ == "__main__":
                 column_widths=["20%"],
                 wrap=True,
             )
+            unverified_download = gr.DownloadButton(
+                label="Download Leaderboard",
+                elem_id="download-unverified-lb",
+            )
         # create a Gradio event listener that runs when the page is loaded to populate the dataframe
         demo.load(generate_leaderboard_df, inputs=None, outputs=[verified_table, unverified_table])
 
+        verified_download.click(
+            download_leaderboard,
+            inputs=[gr.Textbox(value="verified", visible=False)],
+            outputs=[verified_download]
+        )
+        unverified_download.click(
+            download_leaderboard,
+            inputs=[gr.Textbox(value="unverified", visible=False)],
+            outputs=[unverified_download]
+        )
+
         refresh_button = gr.Button("Refresh")
         refresh_button.click(
             refresh,