This repo showcases how to trigger an Github Actions workflow when a PR has been closed. Additionally it shows how you can distinguish whether the PR has been merged or not.
This repo showcases how to trigger an Github Actions workflow when a PR has been closed. Additionally it shows how you can distinguish whether the PR has been merged or not.