workspace: remove worker status field

This commit is contained in:
2026-07-11 15:22:23 +09:00
parent 69560addf8
commit 2d2c29a775
8 changed files with 51 additions and 29 deletions
@@ -106,7 +106,7 @@
<span class="worker-task-title">-</span>
</span>
<span class="item-meta">
{worker.role ? `${worker.role} · ` : ''}{worker.state} · {worker.status} · 🖥 {worker.host_id}
{worker.role ? `${worker.role} · ` : ''}{worker.state} · 🖥 {worker.host_id}
{worker.working_directory ? ` · wd:${worker.working_directory.repository_id}@${worker.working_directory.resolved_commit.slice(0, 8)}` : ''}
</span>
</a>
@@ -84,7 +84,6 @@ export type Worker = {
profile?: string | null;
workspace: { visibility: string; identity: string };
state: string;
status: string;
pinned?: boolean;
retention_state?: string;
last_seen_at?: string | null;
@@ -324,7 +324,7 @@
</div>
<div class="console-header-actions">
<div class="console-status-pill" class:warn={streamState !== 'open'}>
{worker?.state ?? 'unknown'} · {worker?.status ?? 'loading'} · stream {streamState}
{worker?.state ?? 'loading'} · stream {streamState}
</div>
<button type="button" class="secondary-button" aria-expanded={workerDetailsOpen} onclick={() => workerDetailsOpen = !workerDetailsOpen}>
Details
@@ -27,7 +27,7 @@
}
function workerStatus(worker: Worker): string {
return `${worker.state} · ${worker.status}`;
return worker.state;
}
function workerProfile(worker: Worker): string {