When I go to the Pulls page for my project, I see listed as “Open” PRs which have been merged.
Steps to Reproduce
- Go to Pulls
- Look at list of “Open”
Expected behavior: Not see PRs which have been closed (one of which was closed 4 days ago)
Actual behavior: PR remains open with no way to tell codecov to recheck.
Flakiness? Some PRs do close, others do not.