revert: Leaderboard.value requires a DataFrame at construction
Browse files
app.py
CHANGED
|
@@ -80,7 +80,7 @@ def gradio_interface() -> gr.Blocks:
|
|
| 80 |
with gr.Tabs(elem_classes="tab-buttons"):
|
| 81 |
with gr.TabItem("🛰️ Tracker"):
|
| 82 |
Leaderboard(
|
| 83 |
-
value=load_results_df,
|
| 84 |
datatype=["date", "str", "html", "number", "number", "html"],
|
| 85 |
select_columns=["submission time", "problem type", "user", "score", "bundle size", "bundle"],
|
| 86 |
search_columns=["submission time", "score", "user", "problem type"],
|
|
|
|
| 80 |
with gr.Tabs(elem_classes="tab-buttons"):
|
| 81 |
with gr.TabItem("🛰️ Tracker"):
|
| 82 |
Leaderboard(
|
| 83 |
+
value=load_results_df(),
|
| 84 |
datatype=["date", "str", "html", "number", "number", "html"],
|
| 85 |
select_columns=["submission time", "problem type", "user", "score", "bundle size", "bundle"],
|
| 86 |
search_columns=["submission time", "score", "user", "problem type"],
|