Merge remote-tracking branch 'origin/main' into main

app.py

@@ -58,6 +58,7 @@ with gr.Blocks(css=css) as block:
                 datatype=["str"] + ["number"] * (len(initial_headers) - 1),
                 interactive=False,
                 elem_classes="custom-dataframe",
+                height=1000,
             )
             refresh_button = gr.Button("Refresh")
             refresh_button.click(fn=update_leaderboard, inputs=[super_group_selector, model_group_selector], outputs=[data_component])