Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
github: run CI on push, not only on PRs
By running CI on push to any branch, collaborators can check that CI passes before sending for review, reducing mail spam and wasted reviewer time before the code is ready.
- Loading branch information