Commits on Aug 6, 2020

1. Send total coverage back to GitLab instead of new coverage …

   The coverage send back via the GitLab API should be the total coverage
   of the project, not the coverage of the new code in the PR. The GitLab
   docs explicitly mention this:
   https://docs.gitlab.com/ee/api/commits.html#post-the-build-status-to-a-commit
   
   The coverage reported by decorating the PR via a comment is not affected;
   this still shows both the total and new coverage.
   
   Note that there is an open GitLab issue for natively displaying new coverage
   for just the diff of a PR (https://gitlab.com/gitlab-org/gitlab/-/issues/20895),
   but this is not yet implemented.
   
   In addition, reporting coverage back is optional. So if there is no coverage
   information, we do not report it back.

   Teake Nutma committed Aug 6, 2020
   Configuration menu

   • View commit details
   • Copy full SHA for bfcbbd2
   • Browse repository at this point

   Copy the full SHA

   bfcbbd2 View commit details

   Browse the repository at this point in the history