Pin coverage to 96

Tinche · Dec 10, 2023 · f7d151e · f7d151e
1 parent d0c3be7
commit f7d151e
Showing 1 changed file with 6 additions and 2 deletions.
diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml
@@ -53,7 +53,7 @@ jobs:
 
     steps:
       - uses: "actions/checkout@v3"
-      
+
       - uses: "actions/setup-python@v4"
         with:
           cache: "pip"
@@ -77,12 +77,16 @@ jobs:
           export TOTAL=$(python -c "import json;print(json.load(open('coverage.json'))['totals']['percent_covered_display'])")
           echo "total=$TOTAL" >> $GITHUB_ENV
 
+          # Report again and fail if under the threshold.
+          python -Im coverage report --fail-under=96
+
       - name: "Upload HTML report."
         uses: "actions/upload-artifact@v3"
         with:
           name: "html-report"
           path: "htmlcov"
-
+        if: always()
+
       - name: "Make badge"
         uses: "schneegans/[email protected]"
         with: