'github.event.workflow_run.pull_requests' is empty if the PR that indirectly triggered it was closed before this workflow run began
'github.event.workflow_run.pull_requests' is empty if the PR that indirectly triggered it was closed before this workflow run began