-
Notifications
You must be signed in to change notification settings - Fork 939
feat: add agent timings #14713
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
feat: add agent timings #14713
Changes from 1 commit
bcfacf7
d55b2e6
05d8a8b
d54f6c3
d573c67
09a1a42
6d829f3
4df7831
2565f0a
669b837
df51673
c6d71d1
a306e48
4b0056c
14b68a1
b22cb57
ef5e2fe
a5b412b
57ebf30
2a49f67
0698584
3580069
9cb1252
0b0d1ef
eb857c1
586d88f
b6289bb
863c3dc
b8d5d1d
61c26ea
7f8b6f9
c20ac32
c652133
1199b64
afa61eb
8d325e2
aeee582
424069c
9b43a94
ed31199
8814711
0414623
a8192a5
08a466a
8e7c757
621071e
3b4df92
44127b8
5846216
c43a143
13889bf
bf32b89
7fe6d8c
d7e86c6
6e338f2
79a620b
180307f
File filter
Filter by extension
Conversations
Jump to
Diff view
Diff view
- Loading branch information
There are no files selected for viewing
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -1,5 +1,5 @@ | ||
ALTER TABLE workspace_agent_scripts ADD COLUMN id uuid unique not null default gen_random_uuid(); | ||
ALTER TABLE workspace_agent_scripts ADD COLUMN display_name text not null default ''; | ||
ALTER TABLE workspace_agent_scripts ADD COLUMN id uuid UNIQUE NOT NULL DEFAULT gen_random_uuid(); | ||
ALTER TABLE workspace_agent_scripts ADD COLUMN display_name text NOT NULL DEFAULT ''; | ||
|
||
CREATE TYPE workspace_agent_script_timing_stage AS ENUM ( | ||
'start', | ||
|
@@ -9,11 +9,11 @@ CREATE TYPE workspace_agent_script_timing_stage AS ENUM ( | |
|
||
CREATE TABLE workspace_agent_script_timings | ||
There was a problem hiding this comment. Choose a reason for hiding this commentThe reason will be displayed to describe this comment to others. Learn more. I think calling this timings could work but I feel it's primarily a Renaming it would give us more flexibility to store more data in it if needed. There was a problem hiding this comment. Choose a reason for hiding this commentThe reason will be displayed to describe this comment to others. Learn more. Renaming a table isn't too difficult; we could do this as a follow-up if needed? |
||
( | ||
script_id uuid not null references workspace_agent_scripts (id) on delete cascade, | ||
display_name text not null, | ||
started_at timestamp with time zone not null, | ||
ended_at timestamp with time zone not null, | ||
exit_code int not null, | ||
stage workspace_agent_script_timing_stage not null, | ||
timed_out bool not null | ||
script_id uuid NOT NULL REFERENCES workspace_agent_scripts (id) ON DELETE CASCADE, | ||
DanielleMaywood marked this conversation as resolved.
Show resolved
Hide resolved
|
||
display_name text NOT NULL, | ||
started_at timestamp with time zone NOT NULL, | ||
ended_at timestamp with time zone NOT NULL, | ||
exit_code int NOT NULL, | ||
stage workspace_agent_script_timing_stage NOT NULL, | ||
timed_out bool NOT NULL | ||
); |
Uh oh!
There was an error while loading. Please reload this page.