+
Worker
Right now
Workbench
@@ -157,12 +161,15 @@ export function WorkersRosterList({ workers }: { readonly workers: readonly Benc
{shown.length === 0 ? (
- No workers match this filter.
+ No workers match “{query.trim()}”.
) : (
-
+
{shown.map(({ agent, bench, status }) => (
- -
+
-
- {status.text}
+
+ {status.text}
+ · {bench.name}
+
{status.tone === "ready" ? (
-
- {bench.name}
+
+
+
+ {bench.name}
+
{agent.liveAddress === null ? "" : "Now"}