Error 'WARN: Could not find ref: Develop in refs/heads or refs/remotes/origin' after updating to 7.6

As Ann said, the missing coverage and the warning looks unrelated.

This warning can happen during the analysis of a pull request. The consequence is that new code in the pull request may not be computed correctly. The resolution is to fetch the target branch before running analysis, for example git fetch origin Develop.