Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Change pull_request "edited" to "synchronize" event in CI build to re…
…duce frequency of builds
- Loading branch information