CI: Do we really want to retain html coverage reports?
These reports (after compression) are around 4/5x as large as the cobertura reports. Do we need them, or will cobertura meet our needs?
These reports (after compression) are around 4/5x as large as the cobertura reports. Do we need them, or will cobertura meet our needs?