Update app.py
Browse files
app.py
CHANGED
@@ -142,12 +142,12 @@ with gr.Blocks() as app:
|
|
142 |
gr.Markdown("## Solvable Pass Rate Scores")
|
143 |
# 初始生成表格数据
|
144 |
headers1, rows1 = generate_table(existing_data["SolvablePassRateScores"])
|
145 |
-
table1 = gr.Dataframe(headers=headers1, value=rows1, interactive=
|
146 |
|
147 |
gr.Markdown("## Solvable Win Rate Scores")
|
148 |
# 初始生成表格数据
|
149 |
headers2, rows2 = generate_table(existing_data["SolvableWinRateScores"])
|
150 |
-
table2 = gr.Dataframe(headers=headers2, value=rows2, interactive=
|
151 |
|
152 |
refresh_button = gr.Button("Refresh Leaderboards")
|
153 |
# 当刷新按钮被点击时,调用 refresh_table_data 函数来更新表格
|
|
|
142 |
gr.Markdown("## Solvable Pass Rate Scores")
|
143 |
# 初始生成表格数据
|
144 |
headers1, rows1 = generate_table(existing_data["SolvablePassRateScores"])
|
145 |
+
table1 = gr.Dataframe(headers=headers1, value=rows1, interactive=False)
|
146 |
|
147 |
gr.Markdown("## Solvable Win Rate Scores")
|
148 |
# 初始生成表格数据
|
149 |
headers2, rows2 = generate_table(existing_data["SolvableWinRateScores"])
|
150 |
+
table2 = gr.Dataframe(headers=headers2, value=rows2, interactive=False)
|
151 |
|
152 |
refresh_button = gr.Button("Refresh Leaderboards")
|
153 |
# 当刷新按钮被点击时,调用 refresh_table_data 函数来更新表格
|