Spaces:
Running
Running
Fix
Browse files
app.py
CHANGED
@@ -143,7 +143,8 @@ with (gr.Blocks(theme=gr.themes.Soft(text_size=text_md), css=custom_css) as main
|
|
143 |
|
144 |
with gr.Row():
|
145 |
with gr.Tab('Leaderboard') as leaderboards_tab:
|
146 |
-
gr.
|
|
|
147 |
|
148 |
with gr.Tab("Overall"):
|
149 |
results_table = gr.DataFrame(leaderboard_server.get_leaderboard(), interactive=False, label=None,
|
|
|
143 |
|
144 |
with gr.Row():
|
145 |
with gr.Tab('Leaderboard') as leaderboards_tab:
|
146 |
+
with gr.Row():
|
147 |
+
gr.Markdown(LEADERBOARD_TAB_TITLE_MARKDOWN)
|
148 |
|
149 |
with gr.Tab("Overall"):
|
150 |
results_table = gr.DataFrame(leaderboard_server.get_leaderboard(), interactive=False, label=None,
|