Add OpenCode + oh-my-opencode to dev containers#43
Merged
skulidropek merged 6 commits intoProverCoderAI:mainfrom Feb 15, 2026
Merged
Add OpenCode + oh-my-opencode to dev containers#43skulidropek merged 6 commits intoProverCoderAI:mainfrom
skulidropek merged 6 commits intoProverCoderAI:mainfrom
Commits
Commits on Feb 15, 2026
- committed
- committed
- committed
- committed
- committed
- committed
