chore: disable coverage check for external contributor pr (#5728)

This commit is contained in:
hiento09 2025-07-08 16:36:38 +07:00 committed by GitHub
parent 60b7e6a081
commit d2d8778425
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194

View File

@ -38,6 +38,7 @@ on:
jobs:
base_branch_cov:
if: github.event_name == 'pull_request' && github.event.pull_request.head.repo.full_name == github.repository
runs-on: ubuntu-latest
continue-on-error: true
steps:
@ -225,6 +226,7 @@ jobs:
retention-days: 2
coverage-check:
if: github.event_name == 'pull_request' && github.event.pull_request.head.repo.full_name == github.repository
runs-on: ubuntu-latest
needs: base_branch_cov
continue-on-error: true