Spaces:
Runtime error
Runtime error
Commit
·
6acd633
1
Parent(s):
0fd6c86
Update app.py
Browse files
app.py
CHANGED
|
@@ -308,7 +308,7 @@ with block:
|
|
| 308 |
|
| 309 |
🔧 There is an **environment missing?** Please open an issue.
|
| 310 |
""")
|
| 311 |
-
path_ = download_leaderboard_dataset()
|
| 312 |
|
| 313 |
for i in range(0, len(rl_envs)):
|
| 314 |
rl_env = rl_envs[i]
|
|
@@ -335,7 +335,7 @@ with block:
|
|
| 335 |
grpath = gr.Variable(path_)
|
| 336 |
with gr.Row():
|
| 337 |
print("PATH USED", path_)
|
| 338 |
-
gr_dataframe = gr.components.Dataframe(value=get_data(rl_env["rl_env"],
|
| 339 |
|
| 340 |
with gr.Row():
|
| 341 |
#gr_search_dataframe = gr.components.Dataframe(headers=["Ranking 🏆", "User 🤗", "Model id 🤖", "Results", "Mean Reward", "Std Reward"], datatype=["number", "markdown", "markdown", "number", "number", "number"], visible=False)
|
|
@@ -349,18 +349,13 @@ with block:
|
|
| 349 |
download_leaderboard_dataset,
|
| 350 |
inputs=[],
|
| 351 |
outputs=[
|
| 352 |
-
|
| 353 |
],
|
| 354 |
)
|
|
|
|
| 355 |
|
| 356 |
scheduler = BackgroundScheduler()
|
| 357 |
# Refresh every hour
|
| 358 |
scheduler.add_job(func=run_update_dataset, trigger="interval", seconds=3600)
|
| 359 |
-
scheduler.add_job(download_leaderboard_dataset, 'interval', seconds=3600)
|
| 360 |
-
scheduler.start()
|
| 361 |
-
|
| 362 |
-
|
| 363 |
-
|
| 364 |
-
block.launch()
|
| 365 |
-
|
| 366 |
-
|
|
|
|
| 308 |
|
| 309 |
🔧 There is an **environment missing?** Please open an issue.
|
| 310 |
""")
|
| 311 |
+
#path_ = download_leaderboard_dataset()
|
| 312 |
|
| 313 |
for i in range(0, len(rl_envs)):
|
| 314 |
rl_env = rl_envs[i]
|
|
|
|
| 335 |
grpath = gr.Variable(path_)
|
| 336 |
with gr.Row():
|
| 337 |
print("PATH USED", path_)
|
| 338 |
+
gr_dataframe = gr.components.Dataframe(value=get_data(rl_env["rl_env"], grpath), headers=["Ranking 🏆", "User 🤗", "Model id 🤖", "Results", "Mean Reward", "Std Reward"], datatype=["number", "markdown", "markdown", "number", "number", "number"], row_count=(100, 'fixed'))
|
| 339 |
|
| 340 |
with gr.Row():
|
| 341 |
#gr_search_dataframe = gr.components.Dataframe(headers=["Ranking 🏆", "User 🤗", "Model id 🤖", "Results", "Mean Reward", "Std Reward"], datatype=["number", "markdown", "markdown", "number", "number", "number"], visible=False)
|
|
|
|
| 349 |
download_leaderboard_dataset,
|
| 350 |
inputs=[],
|
| 351 |
outputs=[
|
| 352 |
+
grpath
|
| 353 |
],
|
| 354 |
)
|
| 355 |
+
block.launch()
|
| 356 |
|
| 357 |
scheduler = BackgroundScheduler()
|
| 358 |
# Refresh every hour
|
| 359 |
scheduler.add_job(func=run_update_dataset, trigger="interval", seconds=3600)
|
| 360 |
+
#scheduler.add_job(download_leaderboard_dataset, 'interval', seconds=3600)
|
| 361 |
+
scheduler.start()
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|