Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Stop PR builder running when PR is edited (#242)
The PR builder runs whenever the text of a PR is edited, which is inefficient and not consistent with how other projects are configured.
- Loading branch information