Update app.py

app.py

@@ -76,6 +76,10 @@ with gr.Blocks() as interface:
         refresh_button = gr.Button("Refresh Leaderboard")
         leaderboard_game_dropdown.change(extract_leaderboard_stats, inputs=[leaderboard_game_dropdown], outputs=[leaderboard_table])
         refresh_button.click(extract_leaderboard_stats, inputs=[leaderboard_game_dropdown], outputs=[leaderboard_table])
-        download_button.click(generate_leaderboard_json, outputs=[download_button])
+        generate_button = gr.Button("Generate Leaderboard JSON")
+        download_component = gr.File(label="Download Leaderboard JSON")
+
+        generate_button.click(generate_leaderboard_json, outputs=[download_component])
+
 
 interface.launch()