Increase coverage threshold (#1914)

This commit is contained in:
Cesar Celis Hernandez
2022-04-27 17:49:58 -04:00
committed by GitHub
parent 07b4dad4d3
commit bd0edea3df

View File

@@ -1346,7 +1346,7 @@ jobs:
result=${result%\%}
echo "result:"
echo $result
threshold=36.6
threshold=41.2
if (( $(echo "$result >= $threshold" |bc -l) )); then
echo "It is equal or greater than threshold, passed!"
else