Use public container IP in managed agent prompts - #203

Use public container IP in managed agent prompts#203

skulidropek wants to merge 1 commit into

ProverCoderAI:mainProverCoderAI/docker-git:mainfrom

skulidropek:issue-78-public-container-ipskulidropek/docker-git:issue-78-public-container-ipCopy head branch name to clipboard