Repository for testing CoverageBadge.