Fix PR handling on coverage report

YosysHQ · Apr 15, 2024 · aabd928 · aabd928
1 parent 8543895
commit aabd928
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -17,6 +17,7 @@ jobs:
         uses: 5monkeys/cobertura-action@master
         with:
           path: coverage.xml
+          pull_request_number: ${{ github.pull_request.number }}
           minimum_coverage: 90
           skip_covered: false
           fail_below_threshold: true