-
A Pull Request, merged through 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
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:
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. |
Beta Was this translation helpful? Give feedback.
Replies: 2 comments
-
Seems I did not read 📍 The GitHub Actions Guidepost well enough.
Solution:
|
Beta Was this translation helpful? Give feedback.
-
Thanks for sharing your solution with the community @korthout ! |
Beta Was this translation helpful? Give feedback.
Seems I did not read 📍 The GitHub Actions Guidepost well enough.
Solution: