mirror of
https://github.com/openai/codex.git
synced 2026-10-21 21:06:49 +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.