It would be nice if CIRCLE_PR_NUMBER was available on all pull requests. Currently, it is only available on forked PRs and getting the PR number on other PRs requires a workaround (https://support.circleci.com/hc/en-us/articles/360047521451-Why-is-CIRCLE-PR-NUMBER-empty-)