fix(shell): drain stdout/stderr to prevent command hanging on large output - #154

fix(shell): drain stdout/stderr to prevent command hanging on large output#154

skulidropek merged 3 commits into

ProverCoderAI:mainProverCoderAI/docker-git:mainfrom

konard:issue-153-39dda3815f4ekonard/ProverCoderAI-docker-git:issue-153-39dda3815f4eCopy head branch name to clipboard