fix(shell): restart browser sidecar reliably via healthcheck + DinD isolation#157
Open
konard wants to merge 14 commits intoProverCoderAI:mainfrom
Open
fix(shell): restart browser sidecar reliably via healthcheck + DinD isolation#157konard wants to merge 14 commits intoProverCoderAI:mainfrom
konard wants to merge 14 commits intoProverCoderAI:mainfrom
Commits
Commits on Mar 15, 2026
Commits on Mar 16, 2026
- andcommitted
- andcommitted
- andcommitted
- andcommitted
- andcommitted
- andcommitted
- committed
- committed
Commits on Mar 18, 2026
- andcommitted
- andcommitted
- andcommitted
- committed
- committed
