Allow floats to be used for coverage

We're playing with "previous coverage" vs. "new coverage" and "previous coverage" echoes floats.
richardregeer · Sep 27, 2019 · 16fe0a2 · 16fe0a2
1 parent 8984ce2
commit 16fe0a2
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/coverage-check.php b/coverage-check.php
@@ -11,7 +11,7 @@
 }
 
 $inputFile = $argv[1];
-$percentage = min(100, max(0, (int)$argv[2]));
+$percentage = min(100, max(0, (float)$argv[2]));
 
 $xml = new SimpleXMLElement(file_get_contents($inputFile));
 $metrics = $xml->xpath('//metrics');
@@ -40,4 +40,4 @@
     exit(1);
 }
 
-echo 'Total code coverage is ' . sprintf('%0.2f', $TPC) . '% - OK!' . PHP_EOL;
+echo 'Total code coverage is ' . sprintf('%0.2f', $TPC) . '% - OK!' . PHP_EOL;