[ci] Add the coverage collection script.
authorVladimir Kargov <kargov@gmail.com>
Sat, 2 Sep 2017 00:06:46 +0000 (17:06 -0700)
committervkargov <kargov@gmail.com>
Mon, 4 Sep 2017 23:34:30 +0000 (16:34 -0700)
commit90450cc1480d4b76732fd725da06d75da40665c6
tree11af8f342cfccbf88d49522ebbff4ed11c03053d
parent6a95fac6d39e7afdd54999b3cbecdb10ae187470
[ci] Add the coverage collection script.
scripts/ci/collect-coverage.sh [new file with mode: 0755]