Remove .required-coverage check (#244)

A metric as a goal is a poor metric

Author: Preocts

.github/workflows/python-tests.yml

@@ -76,14 +76,8 @@ jobs:
 
       - name: "Post summary to step summary"
         run: |
-          export COVERAGE_REQUIRED=$(<.required-coverage)
           export TOTAL=$(python -c "import json;print(json.load(open('coverage.json'))['totals']['percent_covered_display'])")
-          echo "TOTAL=$TOTAL" >> $GITHUB_ENV
-          echo "### Minimum coverage required: ${COVERAGE_REQUIRED}%" >> $GITHUB_STEP_SUMMARY
-          echo "### Total coverage: ${TOTAL}%" >> $GITHUB_STEP_SUMMARY
-          if [ ${COVERAGE_REQUIRED} -gt $TOTAL ]; then
-            exit 1
-          fi
+          echo "COVERAGE-TOTAL=$TOTAL" >> $GITHUB_ENV
 
   linters-and-formatters:
     name: "linters and formatters"