Wrong CIRCLE_PR_NUMBER

https://circleci.com/gh/syl20bnr/spacemacs/29262?utm_campaign=vcs-integration-link&utm_medium=referral&utm_source=github-build-link

CIRCLE_PR_NUMBER=12170

CI_PULL_REQUEST=https://github.com/syl20bnr/spacemacs/pull/12171

It looks like there were multiple PRs associated with this build. It appears that CircleCI will grab the first one it sees and is likely not able to handle this scenario.

Could you help us understand the specific scenario? i.e. why is there more than one PR?

Contributor created PR against wrong branch (master) https://github.com/syl20bnr/spacemacs/pull/12170 then (right-away) he created another one (to develop) https://github.com/syl20bnr/spacemacs/pull/12171

You can see that they are sequential and probably have the same pr base

1 Like

I think this is an edge case that CircleCI is not able to handle properly.