update scripts

app.py

@@ -42,7 +42,7 @@ def init_space():
     return original_df, finished_eval_queue_df, running_eval_queue_df, pending_eval_queue_df
 
 original_df, finished_eval_queue_df, running_eval_queue_df, pending_eval_queue_df = init_space()
-
+leaderboard_df = original_df.copy()
 
 def process_pending_evals():
     if len(pending_eval_queue_df) == 0:
@@ -209,7 +209,7 @@ with demo:
                     )
 
             leaderboard_table = gr.components.Dataframe(
-                value=get_leaderboard_df[
+                value=leaderboard_df[
                     [c.name for c in utils.fields(utils.AutoEvalColumn) if c.never_hidden]
                     + shown_columns.value
                     + [utils.AutoEvalColumn.dummy.name]
@@ -384,7 +384,7 @@ process_pending_evals()
 # raw_data, original_df = populate.get_leaderboard_df(envs.RESULTS_REPO, envs.QUEUE_REPO, utils.COLS, utils.BENCHMARK_COLS)
 
 
-leaderboard_df = original_df.copy()
+
 
 (
     finished_eval_queue_df,