mirror of
https://github.com/pchuan98/codex.git
synced 2026-07-01 00:31:56 +08: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.