File tree Expand file tree Collapse file tree
Expand file tree Collapse file tree Original file line number Diff line number Diff line change 55name : Delete PR branch from fork and base repo
66
77on :
8-
9- deployment_status :
8+ pull_request :
9+ types : [closed]
10+ pull_request_target :
11+ types : [closed]
1012
1113 # Trigger manual
1214 workflow_dispatch :
2224 if : >
2325 github.repository_owner == 'ingadhoc' &&
2426 (
27+ (github.event_name == 'pull_request' && github.event.pull_request.merged == false && github.event.sender.login == 'roboadhoc') ||
28+ (github.event_name == 'pull_request_target' && github.event.pull_request.merged == false && github.event.sender.login == 'roboadhoc') ||
2529 (github.event_name == 'workflow_dispatch') ||
2630 (github.event_name == 'deployment_status' && github.event.deployment_status.state == 'success')
2731 )
9094 return;
9195 }
9296
97+ } else if (['pull_request', 'pull_request_target'].includes(context.eventName)) {
98+ pullRequest = context.payload.pull_request;
9399 } else {
94100 core.setOutput('validation_passed', 'false');
95101 core.error(`Unsupported event type: ${context.eventName}`);
You can’t perform that action at this time.
0 commit comments