Spaces:
Sleeping
Sleeping
Update app.py
Browse files
app.py
CHANGED
@@ -136,9 +136,9 @@ with gr.Blocks() as interface:
|
|
136 |
available_games = get_available_games()
|
137 |
leaderboard_game_dropdown = gr.Dropdown(available_games, label="Select Game", value="Aggregated Performance")
|
138 |
leaderboard_table = gr.Dataframe(headers=["agent_name", "agent_type", "# games", "total rewards", "avg_generation_time (sec)", "win-rate", "win vs_random (%)"])
|
|
|
139 |
generate_button = gr.Button("Generate Leaderboard JSON")
|
140 |
download_component = gr.File(label="Download Leaderboard JSON")
|
141 |
-
refresh_button = gr.Button("Refresh Leaderboard")
|
142 |
|
143 |
leaderboard_game_dropdown.change(extract_leaderboard_stats, inputs=[leaderboard_game_dropdown], outputs=[leaderboard_table])
|
144 |
refresh_button.click(extract_leaderboard_stats, inputs=[leaderboard_game_dropdown], outputs=[leaderboard_table])
|
|
|
136 |
available_games = get_available_games()
|
137 |
leaderboard_game_dropdown = gr.Dropdown(available_games, label="Select Game", value="Aggregated Performance")
|
138 |
leaderboard_table = gr.Dataframe(headers=["agent_name", "agent_type", "# games", "total rewards", "avg_generation_time (sec)", "win-rate", "win vs_random (%)"])
|
139 |
+
refresh_button = gr.Button("Refresh Leaderboard")
|
140 |
generate_button = gr.Button("Generate Leaderboard JSON")
|
141 |
download_component = gr.File(label="Download Leaderboard JSON")
|
|
|
142 |
|
143 |
leaderboard_game_dropdown.change(extract_leaderboard_stats, inputs=[leaderboard_game_dropdown], outputs=[leaderboard_table])
|
144 |
refresh_button.click(extract_leaderboard_stats, inputs=[leaderboard_game_dropdown], outputs=[leaderboard_table])
|