Add a small gap between the threshold and the coverage

ooohhheven · Sep 16, 2024 · d0685cc · d0685cc
1 parent 7eca521
commit d0685cc
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/test.yml b/.github/workflows/test.yml
@@ -30,7 +30,7 @@ jobs:
       run: |
         coverage=$COVERAGE
         threshold=24.46
-        if (( $(echo "$coverage <= $threshold" | bc -l) )); then
+        if (( $(echo "$coverage - $threshold <= 0.1" | bc -l) )); then
           echo "Coverage is not improved."
           exit 1
         else