Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Per #675, do not trigger workflow on pull request synchronize to avoi…
…d many workflow runs when commits are made to fix a PR. Pull requests should be closed and reopened to trigger automated tests
- Loading branch information