(script: WorkspaceAgentScript | undefined)
| 134 | // with the per-tab error indicator so the auto-selected tab matches the visual |
| 135 | // warning badge. |
| 136 | const isScriptFailed = (script: WorkspaceAgentScript | undefined): boolean => |
| 137 | Boolean(script?.exit_code || (script?.status && script.status !== "ok")); |
| 138 | |
| 139 | export const AgentRow: FC<AgentRowProps> = ({ |
| 140 | agent, |