open-r1-eval-leaderboard

Running

lewtun HF staff commited on Apr 23, 2024

Commit

24bbaf5

1 Parent(s): fcb88b9

Layout

Files changed (1) hide show

app.py CHANGED Viewed

@@ -137,7 +137,7 @@ with demo:
                 value=leaderboard_df,
                 wrap=True,
                 height=1000,
-                column_widths=[400, 110] + [100] * len(leaderboard_df.columns[2:]),
             )
         with gr.Row():
             refresh_button = gr.Button("Refresh")

                 value=leaderboard_df,
                 wrap=True,
                 height=1000,
+                column_widths=[400, 110] + [155] * len(leaderboard_df.columns[2:]),
             )
         with gr.Row():
             refresh_button = gr.Button("Refresh")