Update app.py
Browse files
app.py
CHANGED
@@ -87,7 +87,7 @@ with demo:
|
|
87 |
leaderboard_table = gr.Dataframe(
|
88 |
value=df[ALL_COLUMNS_ORDERED],
|
89 |
headers=list(df.columns),
|
90 |
-
datatype=["html" if col in ["Model","HF Model"] else "str" for col in df.columns],
|
91 |
interactive=False,
|
92 |
wrap=False
|
93 |
)
|
@@ -112,7 +112,7 @@ with demo:
|
|
112 |
leaderboard_table_cat = gr.Dataframe(
|
113 |
value=cat_df,
|
114 |
headers=list(cat_df.columns),
|
115 |
-
datatype=["html" if col in ["Model","HF Model"] else "str" for col in cat_df.columns],
|
116 |
interactive=False,
|
117 |
wrap=False
|
118 |
)
|
|
|
87 |
leaderboard_table = gr.Dataframe(
|
88 |
value=df[ALL_COLUMNS_ORDERED],
|
89 |
headers=list(df.columns),
|
90 |
+
datatype=["html" if col in ["Model Name (clickable)","HF Model"] else "str" for col in df.columns],
|
91 |
interactive=False,
|
92 |
wrap=False
|
93 |
)
|
|
|
112 |
leaderboard_table_cat = gr.Dataframe(
|
113 |
value=cat_df,
|
114 |
headers=list(cat_df.columns),
|
115 |
+
datatype=["html" if col in ["Model Name (clickable)","HF Model"] else "str" for col in cat_df.columns],
|
116 |
interactive=False,
|
117 |
wrap=False
|
118 |
)
|