Hi, I am using on:
types: [closed] for my workflow trigger, without any conditionals, but it is still not triggering when a PR merges. The PR is being merged by a different GitHub Action that merges it using GitHub API with uses: firstname.lastname@example.org Could that be a reason it wouldn't trigger? If I manually merge a PR, it triggers as expected. I've also tried on: push where the merge does a push, but same results. A manual merge triggers the workflow based on push, but the merge via API and the github actions bot does not trigger the workflow in question..
... View more