diff options
author | Gil <mcg@google.com> | 2018-03-07 09:59:38 -0800 |
---|---|---|
committer | GitHub <noreply@github.com> | 2018-03-07 09:59:38 -0800 |
commit | b7750b588c1d7ae9ea3891a254a39de5d3b3c572 (patch) | |
tree | f90e211a858839ceb497e55b3edc475bf4b286f1 /Example/Podfile | |
parent | 5930ad2feebc6628cbaec89b8f6a6146ed6afe5d (diff) |
Speed up source checks in Travis (#885)
* Factor out a whitespace checking script
* Factor out a copyright checking script
* Rewrite lint.sh to honor revision ranges
* Only restyle files that are part of the PR
* Run C++ lint before builds to fail faster
* Git grep doesn't operate on revision ranges
* style.sh accepts clang-format 6 or 7
Diffstat (limited to 'Example/Podfile')
0 files changed, 0 insertions, 0 deletions