https://app.circleci.com/pipelines/github/15five/fifteen5/34511/workflows/829a1313-2f51-46b6-bee2-ee11b92e6447/jobs/211711
CIRCLE_SHA1=874c5ec9cc3d2e4e9719e4900c18298235950e76
CIRCLE_PULL_REQUEST=https://github.com/15five/fifteen5/pull/19082
CIRCLE_PULL_REQUESTS=https://github.com/15five/fifteen5/pull/19082
The CIRCLE_PULL_REQUEST values are incorrect. 19082 is a very old merge into our default dev branch back in 2018. The correct value should be https://github.com/15five/fifteen5/pull/30344
Note that this also effects downstream providers like coveralls:
opened 08:01PM - 07 Aug 20 UTC
closed 08:02PM - 07 Aug 20 UTC
Coveralls links to the wrong PR number.
The right number is 30344, not 19082
mike
August 7, 2020, 9:54pm
3
This looks like an issue we have been trying to pin down but have not been able to fully recreate.
Is this something that just recently happened, or is it possible this has been this way since then and you just noticed?
1 Like
It happened very recently - I noticed it when I posted the issue. It may have been also happening before however.
1 Like
caleb15
November 17, 2020, 3:02am
5
any update? Just checking in as it’s been a few months.