ci(coverage): enforce 50% patch coverage gate for PRs (#10011)

2026-05-23 07:46:36 +08:00 · 2026-04-24 17:20:56 +08:00
parent 2f4e03ffbd
commit 95a4dea683
4 changed files with 47 additions and 6 deletions
@@ -141,7 +141,10 @@ jobs:
          git fetch --no-tags --prune origin ${{ github.event.pull_request.base.sha }} ${{ github.event.pull_request.head.sha }}
          MB=$(git merge-base ${{ github.event.pull_request.base.sha }} ${{ github.event.pull_request.head.sha }})
          echo "Merge-base: $MB"
-          python scripts/check_gcov_coverage.py --commit="${MB}...${{ github.event.pull_request.head.sha }}"
+          python scripts/check_gcov_coverage.py \
+            --commit="${MB}...${{ github.event.pull_request.head.sha }}" \
+            --fail-under=50 \
+            --min-lines=5
        else
          echo "Not a pull request, skipping code coverage analysis."
        fi