Update openenv.yaml

openenv.yaml

@@ -1,50 +1,111 @@
-spec_version: 1
-name: sql_sandbox
-type: space
-runtime: fastapi
-app: server.app:app
-port: 7860
-
-description: >
-  SQL/Data Cleaning Sandbox - a real-world OpenEnv environment where AI agents
-  clean messy databases via SQL and Python. Three tasks from easy to hard with
-  partial-progress grading (0.0-1.0).
-
-reward_range: [0.0, 1.0]
-
-tasks:
-  - id: easy
-    name: Data Triage
-    difficulty: easy
-    description: Find the total revenue from sales for January 2024.
-  - id: medium
-    name: Data Cleaning
-    difficulty: medium
-    description: Fix duplicate emails, null ages, and case inconsistencies in the users table.
-  - id: hard
-    name: Schema Migration
-    difficulty: hard
-    description: Normalize a flat orders table into customers + orders with foreign keys.
-
-action_space:
-  type: object
-  properties:
-    tool:
-      type: string
-      enum: [sql, python]
-    command:
-      type: string
-
-observation_space:
-  type: object
-  properties:
-    output:
-      type: string
-    error:
-      type: string
-    current_step:
-      type: integer
-    max_steps:
-      type: integer
-    task_description:
-      type: string
+spec_version: 1
+
+name: sql_sandbox
+
+type: space
+
+runtime: fastapi
+
+app: server.app:app
+
+port: 7860
+
+
+---
+title: Sql Action Agent
+emoji: 🚀
+colorFrom: blue
+colorTo: indigo
+sdk: docker
+app_port: 7860
+tags:
+  - openenv
+---
+
+
+description: >
+
+  SQL/Data Cleaning Sandbox - a real-world OpenEnv environment where AI agents
+
+  clean messy databases via SQL and Python. Three tasks from easy to hard with
+
+  partial-progress grading (0.0-1.0).
+
+
+
+reward_range: [0.0, 1.0]
+
+
+
+tasks:
+
+  - id: easy
+
+    name: Data Triage
+
+    difficulty: easy
+
+    description: Find the total revenue from sales for January 2024.
+
+  - id: medium
+
+    name: Data Cleaning
+
+    difficulty: medium
+
+    description: Fix duplicate emails, null ages, and case inconsistencies in the users table.
+
+  - id: hard
+
+    name: Schema Migration
+
+    difficulty: hard
+
+    description: Normalize a flat orders table into customers + orders with foreign keys.
+
+
+
+action_space:
+
+  type: object
+
+  properties:
+
+    tool:
+
+      type: string
+
+      enum: [sql, python]
+
+    command:
+
+      type: string
+
+
+
+observation_space:
+
+  type: object
+
+  properties:
+
+    output:
+
+      type: string
+
+    error:
+
+      type: string
+
+    current_step:
+
+      type: integer
+
+    max_steps:
+
+      type: integer
+
+    task_description:
+
+      type: string
+