Content - 5535c02459f2f5fc02f131748259cf9d446cb1ad - b7333d3/scripts/ci/report_coverage.sh

visit type:

Tip revision: 5e9f31fdb6073fbfc454c1c5a7689931e597495b authored by bsall on 20 October 2022, 17:02:28 UTC
Proto: rename '(in/de)crease_balance... -> (in/de)crease_delegate_balance'

Tip revision: 5e9f31f

report_coverage.sh

#!/bin/sh

set -eu

# Compute coverage
make coverage-report
# Rewrite the summary output to remove information points matching the coverage regexp below
make coverage-report-summary | sed 's@Coverage: [[:digit:]]\+/[[:digit:]]\+ (\(.*%\))@Coverage: \1@'
make coverage-report-cobertura

Browse the archive

https://gitlab.com/tezos/tezos