[codex] fix ci success on main pushes#81

jbeckwith-oai merged 1 commit intomainpromptfoo/crabcode:mainfrom

mdangelo/codex/fix-ci-success-main-pushpromptfoo/crabcode:mdangelo/codex/fix-ci-success-main-pushCopy head branch name to clipboard