Update app.py
Browse files
app.py
CHANGED
@@ -190,9 +190,7 @@ with demo:
|
|
190 |
# elem_id="filter-columns-size",
|
191 |
# )
|
192 |
|
193 |
-
|
194 |
-
shown_columns.value
|
195 |
-
])
|
196 |
leaderboard_table = gr.components.Dataframe(
|
197 |
value=leaderboard_df[
|
198 |
[c.name for c in fields(AutoEvalColumn) if c.never_hidden]
|
|
|
190 |
# elem_id="filter-columns-size",
|
191 |
# )
|
192 |
|
193 |
+
shown_columns.value["Rank"] = shown_columns.value["Rank"].str.zfill(2)
|
|
|
|
|
194 |
leaderboard_table = gr.components.Dataframe(
|
195 |
value=leaderboard_df[
|
196 |
[c.name for c in fields(AutoEvalColumn) if c.never_hidden]
|