fix floating-point coverage measurement [skip ci]

lenskit · Aug 1, 2024 · 0a1d7f0 · 0a1d7f0
1 parent 1db4c20
commit 0a1d7f0
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/utils/measure-coverage.tcl b/utils/measure-coverage.tcl
@@ -42,7 +42,7 @@ if {[ev GITHUB_BASE_REF base]} {
     set diff_lines [exec jq .total_num_lines diff-cover.json]
     set diff_bad [exec jq .total_num_violations diff-cover.json]
     if {$diff_lines > 0} {
-        set diff_cov [expr {100 - (($diff_bad / $diff_lines) * 100)}]
+        set diff_cov [expr {100 - ($diff_bad * 100.0) / $diff_lines}]
     } else {
         set diff_cov NA
     }