Spaces:
Sleeping
Sleeping
Commit ·
a24bc4f
1
Parent(s): 154f3d9
commit missing openenv.yaml and server.py changes
Browse files- openenv.yaml +3 -0
- sql_env/server.py +7 -7
openenv.yaml
CHANGED
|
@@ -59,16 +59,19 @@ tasks:
|
|
| 59 |
difficulty: easy
|
| 60 |
max_steps: 5
|
| 61 |
description: Fix a single syntax error. Error hint provided.
|
|
|
|
| 62 |
|
| 63 |
- name: medium
|
| 64 |
difficulty: medium
|
| 65 |
max_steps: 5
|
| 66 |
description: Fix multiple errors across keywords and clauses. No hint.
|
|
|
|
| 67 |
|
| 68 |
- name: hard
|
| 69 |
difficulty: hard
|
| 70 |
max_steps: 4
|
| 71 |
description: Fix many errors in complex multi-join queries. Schema provided. No hint.
|
|
|
|
| 72 |
|
| 73 |
endpoints:
|
| 74 |
reset: POST /reset
|
|
|
|
| 59 |
difficulty: easy
|
| 60 |
max_steps: 5
|
| 61 |
description: Fix a single syntax error. Error hint provided.
|
| 62 |
+
grader: sql_env.grader.grade
|
| 63 |
|
| 64 |
- name: medium
|
| 65 |
difficulty: medium
|
| 66 |
max_steps: 5
|
| 67 |
description: Fix multiple errors across keywords and clauses. No hint.
|
| 68 |
+
grader: sql_env.grader.grade
|
| 69 |
|
| 70 |
- name: hard
|
| 71 |
difficulty: hard
|
| 72 |
max_steps: 4
|
| 73 |
description: Fix many errors in complex multi-join queries. Schema provided. No hint.
|
| 74 |
+
grader: sql_env.grader.grade
|
| 75 |
|
| 76 |
endpoints:
|
| 77 |
reset: POST /reset
|
sql_env/server.py
CHANGED
|
@@ -99,36 +99,36 @@ async def health():
|
|
| 99 |
|
| 100 |
@app.get("/tasks")
|
| 101 |
async def list_tasks():
|
| 102 |
-
"""Return graded tasks in openenv validator format."""
|
| 103 |
return {
|
| 104 |
"tasks": [
|
| 105 |
{
|
| 106 |
"name": "easy",
|
| 107 |
-
"difficulty": "easy",
|
| 108 |
"description": "Fix a single syntax error. Error hint provided.",
|
| 109 |
"max_steps": 5,
|
| 110 |
"has_grader": True,
|
| 111 |
-
"grader": "grade",
|
| 112 |
},
|
| 113 |
{
|
| 114 |
"name": "medium",
|
| 115 |
"difficulty": "medium",
|
| 116 |
-
"description": "Fix multiple errors
|
| 117 |
"max_steps": 5,
|
| 118 |
"has_grader": True,
|
| 119 |
-
"grader": "grade",
|
| 120 |
},
|
| 121 |
{
|
| 122 |
"name": "hard",
|
| 123 |
"difficulty": "hard",
|
| 124 |
-
"description": "Fix
|
| 125 |
"max_steps": 4,
|
| 126 |
"has_grader": True,
|
| 127 |
-
"grader": "grade",
|
| 128 |
},
|
| 129 |
]
|
| 130 |
}
|
| 131 |
|
|
|
|
| 132 |
@app.get("/")
|
| 133 |
async def root():
|
| 134 |
return {
|
|
|
|
| 99 |
|
| 100 |
@app.get("/tasks")
|
| 101 |
async def list_tasks():
|
|
|
|
| 102 |
return {
|
| 103 |
"tasks": [
|
| 104 |
{
|
| 105 |
"name": "easy",
|
| 106 |
+
"difficulty": "easy",
|
| 107 |
"description": "Fix a single syntax error. Error hint provided.",
|
| 108 |
"max_steps": 5,
|
| 109 |
"has_grader": True,
|
| 110 |
+
"grader": "sql_env.grader.grade",
|
| 111 |
},
|
| 112 |
{
|
| 113 |
"name": "medium",
|
| 114 |
"difficulty": "medium",
|
| 115 |
+
"description": "Fix multiple errors. No hint.",
|
| 116 |
"max_steps": 5,
|
| 117 |
"has_grader": True,
|
| 118 |
+
"grader": "sql_env.grader.grade",
|
| 119 |
},
|
| 120 |
{
|
| 121 |
"name": "hard",
|
| 122 |
"difficulty": "hard",
|
| 123 |
+
"description": "Fix complex multi-join queries. Schema provided.",
|
| 124 |
"max_steps": 4,
|
| 125 |
"has_grader": True,
|
| 126 |
+
"grader": "sql_env.grader.grade",
|
| 127 |
},
|
| 128 |
]
|
| 129 |
}
|
| 130 |
|
| 131 |
+
|
| 132 |
@app.get("/")
|
| 133 |
async def root():
|
| 134 |
return {
|