diff --git a/.github/workflows/fuzz.yml b/.github/workflows/fuzz.yml index 48affa03f..0ea476918 100644 --- a/.github/workflows/fuzz.yml +++ b/.github/workflows/fuzz.yml @@ -78,8 +78,9 @@ jobs: run: | COVERAGE=$(tail -1 report.txt | awk '{print $6}' | tr --delete '%') # additionally check correctness of the value - should be an integer - if ! [ 75 -le ${COVERAGE} ]; then - echo "Fuzzing coverage '${COVERAGE}' does not satisfy the limit 74%" + FUZZ_COVERAGE_LIMIT=70 + if ! [ ${FUZZ_COVERAGE_LIMIT} -le ${COVERAGE} ]; then + echo "Fuzzing coverage '${COVERAGE}' does not satisfy the limit ${FUZZ_COVERAGE_LIMIT}%" exit 1 fi diff --git a/cicd/mypy_warnings.txt b/cicd/mypy_warnings.txt index 503915c85..ce61fd05b 100644 --- a/cicd/mypy_warnings.txt +++ b/cicd/mypy_warnings.txt @@ -1 +1 @@ -Success: no issues found in 83 source files +Success: no issues found in 84 source files