increase coverage threshold (#1667)

This commit is contained in:
Cesar Celis Hernandez
2022-03-04 15:21:41 -05:00
committed by GitHub
parent 4cb48b86aa
commit 4d4a159d24

View File

@@ -730,7 +730,7 @@ jobs:
result=${result%\%}
echo "result:"
echo $result
threshold=40
threshold=48
if (( $(echo "$result > $threshold" |bc -l) )); then
echo "greater than threshold, passed!"
else