fix coverage result for 99.95%+

2026-03-07 08:17:22 +01:00 · 2024-08-26 21:58:16 +01:00
parent 9ceb0834ae
commit df69b0b791
2 changed files with 2 additions and 2 deletions
--- a/src/Support/Coverage.php
+++ b/src/Support/Coverage.php
@ -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