Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
PRs are automatically handled so those branches don't need to have a double build (once for the PR, once for the push to another branch). We don't use any other branches besides `master`, so this will save us CPU cycles.
- Loading branch information