(value: CollabAgentStatus[])
| 196 | } |
| 197 | |
| 198 | function formatCollabAgentStatuses(value: CollabAgentStatus[]) { |
| 199 | if (value.length === 0) { |
| 200 | return ""; |
| 201 | } |
| 202 | return value |
| 203 | .map((entry) => `${formatCollabAgentLabel(entry)}: ${entry.status}`) |
| 204 | .join("\n"); |
| 205 | } |
| 206 | |
| 207 | function enrichCollabAgentRef( |
| 208 | agent: CollabAgentRef | undefined, |
no test coverage detected