Method agent_finished

src/workflow/progress.py:112–127

(
        self,
        record: AgentRecord,
        *,
        status: AgentStatus,
        tokens: int = 0,
        error: Optional[str] = None,
        tool_count: int = 0,
    )

        return record

    def agent_finished(
        self,
        record: AgentRecord,
        *,
        status: AgentStatus,
        tokens: int = 0,
        error: Optional[str] = None,
        tool_count: int = 0,
    ) -> None:
        record.status = status
        record.tokens = tokens
        record.error = error
        record.tool_count = tool_count
        if record.started_at is not None:
            record.elapsed = time.monotonic() - record.started_at
        self._changed()

    # ── reads ──────────────────────────────────────────────────────────────
    @property