diff options
| author | Wladimir J. van der Laan <laanwj@gmail.com> | 2017-06-22 20:49:54 +0200 |
|---|---|---|
| committer | Wladimir J. van der Laan <laanwj@gmail.com> | 2017-06-22 20:57:11 +0200 |
| commit | 8c2098ad120913776421bf670aadf69b01c534bf (patch) | |
| tree | c91e5e6109c15dd6baf40a02f5425fe6c78fc9ba /contrib/devtools/commit-script-check.sh | |
| parent | 6bef7ca8bc6a0894875eede7cbb2f28e77e91bd7 (diff) | |
| parent | d5711f4a2d59adc45755b13e3776b9d36e1c55f5 (diff) | |
Merge #10565: [coverage] Remove subtrees and benchmarks from coverage report
d5711f4 Filter subtrees and and benchmarks from coverage report (Andrew Chow)
405b86a Replace lcov -r commands with faster way (Andrew Chow)
c8914b9 Have `make cov` optionally include branch coverage statistics (Andrew Chow)
Tree-SHA512: 9c349a7baeb7430ea586617c52f91177df58e3546d6dc573e26815ddb79e30ab1873542d85ac1daca5e1fb2c6d6c8965824b42d027b6b0496a744af57b095852
Diffstat (limited to 'contrib/devtools/commit-script-check.sh')
0 files changed, 0 insertions, 0 deletions