File tree Expand file tree Collapse file tree 1 file changed +2
-2
lines changed
Expand file tree Collapse file tree 1 file changed +2
-2
lines changed Original file line number Diff line number Diff line change 3131 # And skip if PR was merged by a bot
3232 if : >-
3333 (github.event_name != 'pull_request' ||
34- (github.event.pull_request.merged == true &&
34+ (github.event.pull_request.merged == true &&
3535 !contains(github.event.pull_request.user.login, '[bot]') &&
3636 !contains(github.event.pull_request.user.login, '-bot') &&
3737 github.event.pull_request.user.login != 'dependabot' &&
4848 - name : Set variables
4949 id : vars
5050 run : |
51- if [[ "${{ github.event_name }}" == "pull_request" ]]; then
51+ if [[ "${{ github.event_name }}" == "pull_request" || "${{ github.event_name }}" == "pull_request_target" ]]; then
5252 # For PR-triggered workflow
5353 echo "pr_number=${{ github.event.pull_request.number }}" >> $GITHUB_OUTPUT
5454 echo "contributor=${{ github.event.pull_request.user.login }}" >> $GITHUB_OUTPUT
You can’t perform that action at this time.
0 commit comments