Update app.py

[Add] Download the CSV file of the Leaderboard.

app.py

@@ -12,6 +12,11 @@ HF_TOKEN = os.environ.get("HF_TOKEN")
 
 global data_component, filter_component
 
+def download_csv():
+    # pull the results and return this file!
+    submission_repo = Repository(local_dir=SUBMISSION_NAME, clone_from=SUBMISSION_URL, use_auth_token=HF_TOKEN, repo_type="dataset")
+    submission_repo.git_pull()
+    return CSV_DIR
 
 def upload_file(files):
     file_paths = [file.name for file in files]
@@ -237,7 +242,9 @@ with block:
 
     with gr.Row():
         data_run = gr.Button("Refresh")
+        result_download = gt.Button("Download Leaderboard")
         data_run.click(on_filter_model_size_method_change, inputs=[checkbox_group], outputs=data_component)
+        result_download.click(download_csv, input=None, outputs=gr.File(label="download the csv of leaderborad."))
 
 
 block.launch()