NCBM 7cd5fcc576 cli/display: merge a batch of todo calls into one line ...

A round that updated its todo list printed one header plus a full stack
render per call, so the same list appeared several times. When a batch only
touches todo tools, print one `* Todo x<N>: Push, Update` line and the last
result, whose text already ends with the final stack. A batch holding any
other tool keeps the per-call lines, and a todo call never prints a prefix
at call time (it would dangle when the batch is merged).

2026-10-06 20:51:07 +08:00

..

plyngent

cli/display: merge a batch of todo calls into one line

2026-10-06 20:51:07 +08:00