1
- ALTER TABLE workspace_agent_scripts ADD COLUMN id uuid unique not null default gen_random_uuid();
2
- ALTER TABLE workspace_agent_scripts ADD COLUMN display_name text not null default ' ' ;
1
+ ALTER TABLE workspace_agent_scripts ADD COLUMN id uuid UNIQUE NOT NULL DEFAULT gen_random_uuid();
2
+ ALTER TABLE workspace_agent_scripts ADD COLUMN display_name text NOT NULL DEFAULT ' ' ;
3
3
4
4
CREATE TYPE workspace_agent_script_timing_stage AS ENUM (
5
5
' start' ,
@@ -9,11 +9,11 @@ CREATE TYPE workspace_agent_script_timing_stage AS ENUM (
9
9
10
10
CREATE TABLE workspace_agent_script_timings
11
11
(
12
- script_id uuid not null references workspace_agent_scripts (id) on delete cascade ,
13
- display_name text not null ,
14
- started_at timestamp with time zone not null ,
15
- ended_at timestamp with time zone not null ,
16
- exit_code int not null ,
17
- stage workspace_agent_script_timing_stage not null ,
18
- timed_out bool not null
12
+ script_id uuid NOT NULL REFERENCES workspace_agent_scripts (id) ON DELETE CASCADE ,
13
+ display_name text NOT NULL ,
14
+ started_at timestamp with time zone NOT NULL ,
15
+ ended_at timestamp with time zone NOT NULL ,
16
+ exit_code int NOT NULL ,
17
+ stage workspace_agent_script_timing_stage NOT NULL ,
18
+ timed_out bool NOT NULL
19
19
);
0 commit comments