A Pull Request, merged through gh pr merge did not start a workflow that was listening on pull_request with type closed.

It seems like the pull_request closed event was not registered or somehow did not start the workflow that is listening on this event.

I have a workflow that should be triggered on pull_request closed events:

name: Backport on pull_request[closed]
on:
  pull_request:
    types: [closed]
jobs:
  backport:
    name: Backport
    runs-on: ubuntu-latest
....

Another workflow can be run manually, which runs a shell script that creates and merges a pull request, and then cleans up the mess it created (delete the new branches and reverts the merge).

Merging the pull request, should then trigger the above mentioned workflow. However, this does not happen.

See:

• Test workflow was executed: Revert "case(1): merge pull request" · korthout/backport-action-test@632a714 · GitHub
• Pull request was opened and merged: Case(1): Add a changed line by github-actions[bot] · Pull Request #6 · korthout/backport-action-test · GitHub
• No backport workflows run: Actions · korthout/backport-action-test · GitHub

Could it be that the time that the pull request is open is important for the closed event to be triggered? Because of the automation, the Create and the Merge happen practically immediately after each other. Or is there something else I’m missing?

It feels like a bug to me, because the pull request is clearly merged (and thus closed), so the pull_request closed event should’ve triggered the workflow.