mirror of
https://github.com/pmret/papermario.git
synced 2024-11-27 15:40:31 +00:00
6cd56e72c1
We now lint ALL files in the repository, not just those detected as changed in the commit (the procedure to do this failed when HEAD was exactly 1 commit ahead of the base branch). Also we now only lint pull requests, not in-progress pushes to any branch.
3 lines
373 B
YAML
3 lines
373 B
YAML
Checks: '-*,clang-analyzer-core.*,clang-analyzer-deadcode.*,readability-*,-readability-magic-numbers,-readability-else-after-return,-readability-named-parameter,-readability-braces-around-statements,-readability-isolate-declaration,-readability-uppercase-literal-suffix,-readability-function-size,-readability-non-const-parameter'
|
|
HeaderFilterRegex: '(src|include)\/.*\.h'
|