Now we no longer have to update the default value of `codex_release_tag` in the GitHub Action going forward.