Skip to content

fix(shell): guard TUI render against non-TTY Docker environments#118

Merged
skulidropek merged 3 commits intoProverCoderAI:mainfrom
skulidropek:issue-100
Mar 9, 2026
Merged

fix(shell): guard TUI render against non-TTY Docker environments#118
skulidropek merged 3 commits intoProverCoderAI:mainfrom
skulidropek:issue-100

Commits

Commits on Mar 8, 2026

Commits on Mar 9, 2026