diff options
| author | John Newbery <john@johnnewbery.com> | 2017-11-15 17:20:07 -0500 |
|---|---|---|
| committer | John Newbery <john@johnnewbery.com> | 2017-11-15 17:20:07 -0500 |
| commit | ec85248c4877c273bf51c4e76fab85cbc26013bf (patch) | |
| tree | 63a3a4b1e3624479a7d883da5e4c36c19ccbd07f /.tx/config | |
| parent | 4ed818060ecf4a38a02c8cb48f6cbc78d2ee7708 (diff) | |
[travis-ci] Only run linters on Pull Requests
Linters should only be run on pull request builds. Once bad code style
has been merged into master, it's too late. Master and other branches
should not fail to build because of linter warnings.
Diffstat (limited to '.tx/config')
0 files changed, 0 insertions, 0 deletions