feat: /profile command (#203)

This commit is contained in:
Devansh Jain
2025-12-13 12:42:30 -08:00
committed by GitHub
parent 0dda14103a
commit d592fde824
7 changed files with 599 additions and 103 deletions

View File

@@ -49,7 +49,8 @@ export type Line =
kind: "status";
id: string;
lines: string[]; // Multi-line status message with arrow formatting
};
}
| { kind: "separator"; id: string };
// Top-level state object for all streaming events
export type Buffers = {