Skip to content

Commit 67c363d

Browse files
authored
[CI] Use pull_request_target for coverage trigger (#990)
Purely CI PR: use `pull_request_target` with custom permission to ensure external PRs can still trigger the coverage script.
1 parent 371f273 commit 67c363d

File tree

1 file changed

+4
-2
lines changed

1 file changed

+4
-2
lines changed

.github/workflows/coverage.yml

Lines changed: 4 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -1,11 +1,13 @@
11
name: CI Coverage for PR
22

3-
on:
4-
pull_request:
3+
on: [ pull_request, pull_request_target ]
54

65
jobs:
76
coverage:
87
runs-on: ubuntu-latest
8+
permissions:
9+
contents: read
10+
pull-requests: write
911
steps:
1012
- uses: actions/checkout@v3
1113
with:

0 commit comments

Comments
 (0)