Repository navigation

fix: guard plan sync for draft pull requests - #7

Merged

skulidropek merged 3 commits into

ProverCoderAI:mainfrom

konard:issue-6-9b8d4b256f20

Jun 11, 2026

Merged

fix: guard plan sync for draft pull requests#7
skulidropek merged 3 commits into
ProverCoderAI:mainfrom
konard:issue-6-9b8d4b256f20

Commits on Jun 9, 2026
- Initial commit with task details
  konard
  committed
  87dd39d
Commits on Jun 10, 2026
- fix: guard plan sync for draft pull requests
  konard
  committed
  842b74f
- Revert "Initial commit with task details"
  konard
  committed
  2e29caf