Skip to content

Hide write-only prompt guidance when tools are filtered#2230

Open
davidahmann wants to merge 2 commits into
github:mainfrom
davidahmann:codex/write-prompt-filtering
Open

Hide write-only prompt guidance when tools are filtered#2230
davidahmann wants to merge 2 commits into
github:mainfrom
davidahmann:codex/write-prompt-filtering

Merge remote-tracking branch 'origin/main' into tmp2230

2bcfb23
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs