mirror of
https://github.com/openai/codex.git
synced 2026-11-13 21:30:47 +00:00
I think this check has outlived its usefulness. It is often one of the last CI jobs to finish when we put up a PR, so this should save us some time.