Spaces:
Running
Running
refine
Browse files
app.py
CHANGED
|
@@ -2000,7 +2000,7 @@ def get_leaderboard_dataframe():
|
|
| 2000 |
return df
|
| 2001 |
|
| 2002 |
|
| 2003 |
-
def submit_agent(identifier, agent_name, developer,
|
| 2004 |
"""
|
| 2005 |
Submit a new agent to the leaderboard.
|
| 2006 |
Validates input, saves submission, and fetches PR metadata (memory-efficient).
|
|
@@ -2019,7 +2019,6 @@ def submit_agent(identifier, agent_name, developer, description, website):
|
|
| 2019 |
identifier = identifier.strip()
|
| 2020 |
agent_name = agent_name.strip()
|
| 2021 |
developer = developer.strip()
|
| 2022 |
-
description = description.strip()
|
| 2023 |
website = website.strip()
|
| 2024 |
|
| 2025 |
# Validate GitHub identifier
|
|
@@ -2039,7 +2038,6 @@ def submit_agent(identifier, agent_name, developer, description, website):
|
|
| 2039 |
'agent_name': agent_name,
|
| 2040 |
'developer': developer,
|
| 2041 |
'github_identifier': identifier,
|
| 2042 |
-
'description': description,
|
| 2043 |
'website': website,
|
| 2044 |
}
|
| 2045 |
|
|
@@ -2252,11 +2250,6 @@ with gr.Blocks(title="SWE Agent Review Leaderboard", theme=gr.themes.Soft()) as
|
|
| 2252 |
label="Developer*",
|
| 2253 |
placeholder="Your developer or team name"
|
| 2254 |
)
|
| 2255 |
-
description_input = gr.Textbox(
|
| 2256 |
-
label="Description",
|
| 2257 |
-
placeholder="Brief description of your agent",
|
| 2258 |
-
lines=3
|
| 2259 |
-
)
|
| 2260 |
website_input = gr.Textbox(
|
| 2261 |
label="Website",
|
| 2262 |
placeholder="https://your-agent-website.com"
|
|
@@ -2274,7 +2267,7 @@ with gr.Blocks(title="SWE Agent Review Leaderboard", theme=gr.themes.Soft()) as
|
|
| 2274 |
# Event handler
|
| 2275 |
submit_button.click(
|
| 2276 |
fn=submit_agent,
|
| 2277 |
-
inputs=[github_input, name_input, developer_input,
|
| 2278 |
outputs=[submission_status, leaderboard_table]
|
| 2279 |
)
|
| 2280 |
|
|
|
|
| 2000 |
return df
|
| 2001 |
|
| 2002 |
|
| 2003 |
+
def submit_agent(identifier, agent_name, developer, website):
|
| 2004 |
"""
|
| 2005 |
Submit a new agent to the leaderboard.
|
| 2006 |
Validates input, saves submission, and fetches PR metadata (memory-efficient).
|
|
|
|
| 2019 |
identifier = identifier.strip()
|
| 2020 |
agent_name = agent_name.strip()
|
| 2021 |
developer = developer.strip()
|
|
|
|
| 2022 |
website = website.strip()
|
| 2023 |
|
| 2024 |
# Validate GitHub identifier
|
|
|
|
| 2038 |
'agent_name': agent_name,
|
| 2039 |
'developer': developer,
|
| 2040 |
'github_identifier': identifier,
|
|
|
|
| 2041 |
'website': website,
|
| 2042 |
}
|
| 2043 |
|
|
|
|
| 2250 |
label="Developer*",
|
| 2251 |
placeholder="Your developer or team name"
|
| 2252 |
)
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| 2253 |
website_input = gr.Textbox(
|
| 2254 |
label="Website",
|
| 2255 |
placeholder="https://your-agent-website.com"
|
|
|
|
| 2267 |
# Event handler
|
| 2268 |
submit_button.click(
|
| 2269 |
fn=submit_agent,
|
| 2270 |
+
inputs=[github_input, name_input, developer_input, website_input],
|
| 2271 |
outputs=[submission_status, leaderboard_table]
|
| 2272 |
)
|
| 2273 |
|