Update app.py

app.py

@@ -33,8 +33,9 @@ def create_gradio_app():
             value=fetch_leaderboard_data(),
             interactive=False,
             label="Leaderboard",
-            live=True
         )
+        refresh_button = gr.Button("Refresh Leaderboard")
+        refresh_button.click(lambda: fetch_leaderboard_data(), outputs=leaderboard)
     return app
 
 # launch Gradio app