The code coverage number comes from
multiple builds, so we need to clarify to
the user where the number comes from.