fix(shell): guard TUI render against non-TTY Docker environments#118
Merged
skulidropek merged 3 commits intoProverCoderAI:mainfrom Mar 9, 2026
Merged
fix(shell): guard TUI render against non-TTY Docker environments#118skulidropek merged 3 commits intoProverCoderAI:mainfrom
skulidropek merged 3 commits intoProverCoderAI:mainfrom