Codecov recently commented on one of our pull requests: Cleanup dials/command_line directory by rjgildea · Pull Request #824 · dials/dials · GitHub
The confusing thing is, we don’t currently generate or upload coverage reports for pull requests, and the CI jobs that deal with coverage definitely didn’t run. I thought perhaps codecov was cleverly recognising that the pull request was only removing files, but the coverage hasn’t changed at all, and the pull page at Codecov has every folder as “new” and no commits listed.
Is this a bug or some niche feature that I’m not understanding?