zhimin-z
commited on
Commit
·
6994490
1
Parent(s):
1f97431
refine
Browse files
README.md
CHANGED
|
@@ -4,7 +4,7 @@ emoji: ⚙️
|
|
| 4 |
colorFrom: red
|
| 5 |
colorTo: purple
|
| 6 |
sdk: gradio
|
| 7 |
-
sdk_version:
|
| 8 |
app_file: app.py
|
| 9 |
hf_oauth: true
|
| 10 |
pinned: false
|
|
|
|
| 4 |
colorFrom: red
|
| 5 |
colorTo: purple
|
| 6 |
sdk: gradio
|
| 7 |
+
sdk_version: 5.50.0
|
| 8 |
app_file: app.py
|
| 9 |
hf_oauth: true
|
| 10 |
pinned: false
|
app.py
CHANGED
|
@@ -610,7 +610,7 @@ print(f"On startup: Loads cached data from HuggingFace on demand")
|
|
| 610 |
print(f"{'='*80}\n")
|
| 611 |
|
| 612 |
# Create Gradio interface
|
| 613 |
-
with gr.Blocks(title="SWE Agent PR Leaderboard") as app:
|
| 614 |
gr.Markdown("# SWE Agent PR Leaderboard")
|
| 615 |
gr.Markdown(f"Track and compare GitHub pull request statistics for SWE agents")
|
| 616 |
|
|
@@ -703,4 +703,4 @@ with gr.Blocks(title="SWE Agent PR Leaderboard") as app:
|
|
| 703 |
|
| 704 |
# Launch application
|
| 705 |
if __name__ == "__main__":
|
| 706 |
-
app.launch(
|
|
|
|
| 610 |
print(f"{'='*80}\n")
|
| 611 |
|
| 612 |
# Create Gradio interface
|
| 613 |
+
with gr.Blocks(title="SWE Agent PR Leaderboard", theme=gr.themes.Soft()) as app:
|
| 614 |
gr.Markdown("# SWE Agent PR Leaderboard")
|
| 615 |
gr.Markdown(f"Track and compare GitHub pull request statistics for SWE agents")
|
| 616 |
|
|
|
|
| 703 |
|
| 704 |
# Launch application
|
| 705 |
if __name__ == "__main__":
|
| 706 |
+
app.launch()
|