Skip to content

fix(web): default provider selection for users without Codex#4117

Merged
juliusmarminge merged 3 commits into
pingdotgg:mainfrom
mfazekas:fix/default-provider-instance
Jul 22, 2026
Merged

fix(web): default provider selection for users without Codex#4117
juliusmarminge merged 3 commits into
pingdotgg:mainfrom
mfazekas:fix/default-provider-instance

fix(web): finalize provider defaults for PR #4117

44b14f4
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
Prepare PR size config
succeeded Jul 22, 2026 in 2s