reorg df
Browse files
app.py
CHANGED
|
@@ -56,7 +56,7 @@ def gradio_interface() -> gr.Blocks:
|
|
| 56 |
Leaderboard(
|
| 57 |
value=get_leaderboard(),
|
| 58 |
datatype=['date', 'str', 'html', 'number', 'html'],
|
| 59 |
-
select_columns=["submission time", "
|
| 60 |
search_columns=["submission time", "score", "user"],
|
| 61 |
# hide_columns=["result_filename", "submission_filename", "objective", "minimize_objective", "boundary_json", "evaluated"],
|
| 62 |
filter_columns=["problem type"],
|
|
|
|
| 56 |
Leaderboard(
|
| 57 |
value=get_leaderboard(),
|
| 58 |
datatype=['date', 'str', 'html', 'number', 'html'],
|
| 59 |
+
select_columns=["submission time", "problem type", "user", "score", "full results"],
|
| 60 |
search_columns=["submission time", "score", "user"],
|
| 61 |
# hide_columns=["result_filename", "submission_filename", "objective", "minimize_objective", "boundary_json", "evaluated"],
|
| 62 |
filter_columns=["problem type"],
|