diff --git a/scripts/docs-coverage.sh b/scripts/docs-coverage.sh index 97ad4b10..4dea7c05 100755 --- a/scripts/docs-coverage.sh +++ b/scripts/docs-coverage.sh @@ -4,6 +4,6 @@ COVERAGE=$(sed -nE 's/.*>([0-9]{1,3})%<.*/\1/p' docs/coverage.svg | head -1) if (( $COVERAGE >= $COVERAGE_REQUIRED )) then exit 0; else - echo "Coverage: $COVERAGE/$COVERAGE_REQUIRED"; + echo "Coverage: $COVERAGE/$COVERAGE_REQUIRED%"; exit 1; fi \ No newline at end of file