Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Avoid running the workflow twice on PR pushes
When someone force-pushes to a PR or adds a new commit, the workflow would run _twice_, as both `push` and `pull_request` events would trigger. The default for `types` is `[opened, reopened, synchronize]`; the latter is the type that overlaps with `push`.
- Loading branch information