Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
changed github action. Moved the publish action on pull_request closed and merged is true (or, like before, on push to main)
- Loading branch information