save

app.py

@@ -541,6 +541,7 @@ The score is the number of output tokens your solution takes.
     with gr.Row() as row:
         team_name = gr.Text(label="Team Name")
         leaderboard = gr.Button(value="Submit")
+        refresh = gr.Button(value="Refresh")
         msg = gr.Text(label="Status")
     leader = gr.Dataframe(pd.read_csv(DATA_FILE)[["team", "board", "count"]].sort_values(["board", "count"]))
     def leaderfn(data):
@@ -558,10 +559,17 @@ The score is the number of output tokens your solution takes.
         commit_url = repo.push_to_hub()
         leader_df = pd.read_csv(DATA_FILE)[["team", "board", "count"]]
         leader_df = leader_df.sort_values(["board", "count"])
-        return {msg: f"Sucess: Final score: {count} {board}", leader: leader_df}
+        return {msg: f"Success: Final score: {count} {board}", leader: leader_df}
         
-    leaderboard.click(fn=leaderfn, inputs={state, team_name}, outputs={msg, leader})    
+    leaderboard.click(fn=leaderfn, inputs={state, team_name}, outputs={msg, leader})
 
+    def refreshfn():
+        repo.git_pull()
+        leader_df = pd.read_csv(DATA_FILE)[["team", "board", "count"]]
+        leader_df = leader_df.sort_values(["board", "count"])
+        return {msg: f"Refreshed", leader: leader_df}
+    
+    refresh.click(fn=refreshfn, output={msg, leader})
 app.queue().launch()