fix(app): synchronize TUI startup status with running containers (#13)#52
Merged
skulidropek merged 2 commits intoProverCoderAI:mainfrom Feb 16, 2026
Merged
fix(app): synchronize TUI startup status with running containers (#13)#52skulidropek merged 2 commits intoProverCoderAI:mainfrom
skulidropek merged 2 commits intoProverCoderAI:mainfrom