feat: add optional Nix container flavor for docker-git projects#55
Closed
skulidropek wants to merge 67 commits intoProverCoderAI:mainfrom
Closed
feat: add optional Nix container flavor for docker-git projects#55skulidropek wants to merge 67 commits intoProverCoderAI:mainfrom
skulidropek wants to merge 67 commits intoProverCoderAI:mainfrom
Commits
Commits on Jan 28, 2026
Commits on Jan 29, 2026
Commits on Feb 2, 2026
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
Commits on Feb 4, 2026
- andcommitted
Commits on Feb 5, 2026
Commits on Feb 6, 2026
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
Commits on Feb 7, 2026
- committed
- committed
- committed
- committed
- committed
- committed
Commits on Feb 8, 2026
Commits on Feb 9, 2026
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
Commits on Feb 10, 2026
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
Commits on Feb 11, 2026
- authored
- andauthored
- authored
- committed
![github-actions[bot]](https://avatars.githubusercontent.com/in/15368?v=4&size=32){kind=avatar}