The url for the coverage report is the build url we see in gerrit +
Maybe this can be added by a gerrit plugin?
Another option - can we add nice "coverage" link to jenkins build page?
One click on the build link from gerrit, and another on the build page is
better then typing
the url manually.
Well, you can click your way like this:
Gerrit comment -> job results -> Build Artifacts -> exported-artifacts
But this is not optimal, maybe we could improve the CI standard so
that a certain artefact file gets posted on the Jenkis results page.