Merge pull request #1207 from JonPurvis/coverage-fix

Fix coverage result for 99.95%+
This commit is contained in:
Nuno Maduro
2024-09-03 12:16:37 +01:00
committed by GitHub
2 changed files with 2 additions and 2 deletions

View File

@ -138,7 +138,7 @@ final class Coverage
$totalCoverageAsString = $totalCoverage->asFloat() === 0.0
? '0.0'
: number_format($totalCoverage->asFloat(), 1, '.', '');
: number_format(floor($totalCoverage->asFloat() * 10) / 10, 1, '.', '');
renderUsing($output);
render(<<<HTML