Spaces:
Runtime error
Runtime error
Commit
Β·
1f1ad34
1
Parent(s):
cc4e1bd
refresh on load
Browse files
app.py
CHANGED
|
@@ -1,5 +1,3 @@
|
|
| 1 |
-
from functools import partial
|
| 2 |
-
|
| 3 |
import gradio as gr
|
| 4 |
from gradio_leaderboard import Leaderboard, ColumnFilter, SelectColumns
|
| 5 |
import pandas as pd
|
|
@@ -43,11 +41,28 @@ SKIP_VALIDATION = True # TODO temp
|
|
| 43 |
|
| 44 |
|
| 45 |
def restart_space():
|
|
|
|
| 46 |
API.restart_space(repo_id=REPO_ID)
|
| 47 |
|
| 48 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| 49 |
lbdb = F1Data(cp_ds_name=CODE_PROBLEMS_REPO, sub_ds_name=SUBMISSIONS_REPO, res_ds_name=RESULTS_REPO, split=SPLIT)
|
| 50 |
-
leaderboard_df = get_leaderboard_df(RESULTS_REPO)
|
| 51 |
|
| 52 |
|
| 53 |
logger.info("Initialized LBDB")
|
|
@@ -129,7 +144,8 @@ with demo:
|
|
| 129 |
|
| 130 |
with gr.Tabs(elem_classes="tab-buttons") as tabs:
|
| 131 |
with gr.TabItem("π
FormulaOne Leaderboard", elem_id="formulaone-leaderboar-tab-table", id=0):
|
| 132 |
-
|
|
|
|
| 133 |
|
| 134 |
# with gr.TabItem("π About", elem_id="llm-benchmark-tab-table", id=1):
|
| 135 |
# logger.info("Tab about")
|
|
@@ -245,6 +261,9 @@ with demo:
|
|
| 245 |
# show_copy_button=True,
|
| 246 |
# )
|
| 247 |
|
|
|
|
|
|
|
|
|
|
| 248 |
logger.info("Scheduler")
|
| 249 |
scheduler = BackgroundScheduler()
|
| 250 |
scheduler.add_job(restart_space, "interval", seconds=1800)
|
|
|
|
|
|
|
|
|
|
| 1 |
import gradio as gr
|
| 2 |
from gradio_leaderboard import Leaderboard, ColumnFilter, SelectColumns
|
| 3 |
import pandas as pd
|
|
|
|
| 41 |
|
| 42 |
|
| 43 |
def restart_space():
|
| 44 |
+
logger.info("Restarting space")
|
| 45 |
API.restart_space(repo_id=REPO_ID)
|
| 46 |
|
| 47 |
|
| 48 |
+
def refresh_leaderboard_data():
|
| 49 |
+
"""Refresh the leaderboard data from the latest results"""
|
| 50 |
+
try:
|
| 51 |
+
logger.info("Loading latest leaderboard data...")
|
| 52 |
+
new_leaderboard_df = get_leaderboard_df(RESULTS_REPO)
|
| 53 |
+
|
| 54 |
+
if new_leaderboard_df is not None and not new_leaderboard_df.empty:
|
| 55 |
+
logger.info("Leaderboard data refreshed successfully")
|
| 56 |
+
return new_leaderboard_df
|
| 57 |
+
else:
|
| 58 |
+
logger.warning("No new leaderboard data found")
|
| 59 |
+
return None
|
| 60 |
+
except Exception as e:
|
| 61 |
+
logger.error(f"Error refreshing leaderboard data: {e}")
|
| 62 |
+
return None
|
| 63 |
+
|
| 64 |
+
|
| 65 |
lbdb = F1Data(cp_ds_name=CODE_PROBLEMS_REPO, sub_ds_name=SUBMISSIONS_REPO, res_ds_name=RESULTS_REPO, split=SPLIT)
|
|
|
|
| 66 |
|
| 67 |
|
| 68 |
logger.info("Initialized LBDB")
|
|
|
|
| 144 |
|
| 145 |
with gr.Tabs(elem_classes="tab-buttons") as tabs:
|
| 146 |
with gr.TabItem("π
FormulaOne Leaderboard", elem_id="formulaone-leaderboar-tab-table", id=0):
|
| 147 |
+
leaderboard_df = get_leaderboard_df(RESULTS_REPO)
|
| 148 |
+
leaderboard_component = init_leaderboard(leaderboard_df)
|
| 149 |
|
| 150 |
# with gr.TabItem("π About", elem_id="llm-benchmark-tab-table", id=1):
|
| 151 |
# logger.info("Tab about")
|
|
|
|
| 261 |
# show_copy_button=True,
|
| 262 |
# )
|
| 263 |
|
| 264 |
+
demo.load(refresh_leaderboard_data, inputs=[], outputs=[leaderboard_component])
|
| 265 |
+
|
| 266 |
+
|
| 267 |
logger.info("Scheduler")
|
| 268 |
scheduler = BackgroundScheduler()
|
| 269 |
scheduler.add_job(restart_space, "interval", seconds=1800)
|