You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
This commit was created on GitHub.com and signed with GitHub’s verified signature.
New TUI /run command. Advance the protocol on demand from inside the live
TUI — it kicks the auto-driver (cross-review → consensus → finalize → opted-in
implementation) for the current run. Most useful with --no-auto runs; under
the default auto-drive it is a no-op once driving has started (idempotent). The
command appears in /help and slash autocomplete.
