open-r1-eval-leaderboard

Running

lewtun HF staff commited on Feb 23, 2024

Commit

8fe80ef

1 Parent(s): bb86668

Expand height

Files changed (1) hide show

app.py CHANGED Viewed

@@ -56,7 +56,7 @@ with demo:
     with gr.Column():
         gr.Markdown(DESCRIPTION, elem_classes="markdown-text")
         with gr.Group():
-            leaderboard_table = gr.Dataframe(value=leaderboard_df, wrap=True)
         with gr.Row():
             refresh_button = gr.Button("Refresh")
             refresh_button.click(refresh, inputs=[], outputs=[leaderboard_table])

     with gr.Column():
         gr.Markdown(DESCRIPTION, elem_classes="markdown-text")
         with gr.Group():
+            leaderboard_table = gr.Dataframe(value=leaderboard_df, wrap=True, height=1000)
         with gr.Row():
             refresh_button = gr.Button("Refresh")
             refresh_button.click(refresh, inputs=[], outputs=[leaderboard_table])