Modify GitHub actions workflow to create and publish a release whenever a PR is merged into the master branch
Modify GitHub actions workflow to create and publish a release whenever a PR is merged into the master branch