Spaces:
Running
Running
Update app.py (#99)
Browse files- Update app.py (ce743535acaa7ce340440663c511185c98448997)
app.py
CHANGED
|
@@ -1197,12 +1197,12 @@ def leaderboard_page():
|
|
| 1197 |
|
| 1198 |
# Get leaderboard data
|
| 1199 |
with open(LEADERBOARD_FILE, "rb") as f:
|
| 1200 |
-
|
| 1201 |
-
|
| 1202 |
-
|
| 1203 |
-
|
| 1204 |
-
|
| 1205 |
-
|
| 1206 |
|
| 1207 |
leaderboard = unified_get("leaderboard") or []
|
| 1208 |
|
|
|
|
| 1197 |
|
| 1198 |
# Get leaderboard data
|
| 1199 |
with open(LEADERBOARD_FILE, "rb") as f:
|
| 1200 |
+
st.download_button(
|
| 1201 |
+
"⬇ Download Leaderboard CSV",
|
| 1202 |
+
f,
|
| 1203 |
+
file_name="leaderboard.csv",
|
| 1204 |
+
mime="text/csv"
|
| 1205 |
+
)
|
| 1206 |
|
| 1207 |
leaderboard = unified_get("leaderboard") or []
|
| 1208 |
|