Skip to content

fix(codex): disable unused codex_app.github connector#411

Open
konard wants to merge 7 commits into
ProverCoderAI:mainfrom
konard:issue-410-45b80ff52f4f
Open

fix(codex): disable unused codex_app.github connector#411
konard wants to merge 7 commits into
ProverCoderAI:mainfrom
konard:issue-410-45b80ff52f4f

Merge remote-tracking branch 'origin/main' into issue-410-45b80ff52f4f

8a68d84
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
Dist deps prune
succeeded Jun 17, 2026 in 59s