diff options
author | Wladimir J. van der Laan <laanwj@gmail.com> | 2017-11-16 11:48:33 +0100 |
---|---|---|
committer | Wladimir J. van der Laan <laanwj@gmail.com> | 2017-11-16 11:48:44 +0100 |
commit | 66d46c7901b7a9b18d1ab0ce7c64ada9b46c1236 (patch) | |
tree | a95b544b6d0dfc3a82072c97e44465c7e1995187 /src/checkqueue.h | |
parent | 3c098a8aa0780009c11b66b1a5d488a928629ebf (diff) | |
parent | ec85248c4877c273bf51c4e76fab85cbc26013bf (diff) |
Merge #11699: [travis-ci] Only run linters on Pull Requests
ec85248 [travis-ci] Only run linters on Pull Requests (John Newbery)
Pull request description:
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.
Tree-SHA512: f8e56e0c338db60110a67bdd39a5837b42e156180349a81a68a383a5adef07ecf7b4946c1565333b47edd2b1a70e52caf0600bdf448f6eb01fa47595e8df82c9
Diffstat (limited to 'src/checkqueue.h')
0 files changed, 0 insertions, 0 deletions