Skip to content

feat(shell): auto-provision docker-git scripts inside generated containers - #177

Merged
skulidropek merged 3 commits into
ProverCoderAI:mainfrom
konard:issue-176-f004daa766ec
Mar 23, 2026
Merged

feat(shell): auto-provision docker-git scripts inside generated containers#177
skulidropek merged 3 commits into
ProverCoderAI:mainfrom
konard:issue-176-f004daa766ec

Revert "Initial commit with task details"

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