Skip to content

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

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

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

fix(shell): unify Effect types in runMenu TTY fallback

c54969f
Select commit
Loading
Failed to load commit list.
Sign in for the full log view