Other CI

Outside GitHub Actions, the CLI signs in with a project token instead of the OIDC token.