Update app.py

app.py

@@ -190,7 +190,8 @@ with demo:
                 #         elem_id="filter-columns-size",
                 #     )
 
-            shown_columns.value["Rank"] = shown_columns.value["Rank"].str.zfill(2)
+            print(type(shown_columns))
+            
             leaderboard_table = gr.components.Dataframe(
                 value=leaderboard_df[
                     [c.name for c in fields(AutoEvalColumn) if c.never_hidden]