I am using
on: pull_request: 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
Could that be a reason it wouldn't trigger? If I manually merge a PR, it triggers as expected.
I've also tried
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..