still trying to make the leaderboard
Browse files
app.py
CHANGED
|
@@ -31,8 +31,6 @@ def get_leaderboard():
|
|
| 31 |
df = pd.DataFrame(ds)
|
| 32 |
|
| 33 |
df.rename(columns={'submission_time': 'submission time', 'problem_type': 'problem type'}, inplace=True)
|
| 34 |
-
df['user'] = df['user'].apply(lambda x: f'<a href="https://huggingface.co/{x}">{x}</a>')
|
| 35 |
-
df = df.to_html(escape=False, render_links=True)
|
| 36 |
|
| 37 |
score_field = "score" if "score" in df.columns else "objective" # fallback
|
| 38 |
|
|
|
|
| 31 |
df = pd.DataFrame(ds)
|
| 32 |
|
| 33 |
df.rename(columns={'submission_time': 'submission time', 'problem_type': 'problem type'}, inplace=True)
|
|
|
|
|
|
|
| 34 |
|
| 35 |
score_field = "score" if "score" in df.columns else "objective" # fallback
|
| 36 |
|