Hi, we've been trying to replace our old Jenkins pipeline with Github actions. However, we can't make the pull_request closed event to fire. All the other events are working fine. This is what we have on `.github/workflows/prcleanup.yml`: ```yaml name: PR Cleanup on: pull_request: types: - closed ... ``` We've added this to both master and the specific PR branch. However, no matter how many times we click "Close pull requeste" we can never see the workflow being started on the actions tab. Is there a way to debug why a specific even doesn't run?
... View more