Content - 5535c02459f2f5fc02f131748259cf9d446cb1ad - 45aa9e9/scripts/ci/report_coverage.sh

visit type:

Tip revision: 7f87b236782d12a4aae70916c755daf403887006 authored by Ding Xiang Fei on 26 September 2022, 10:47:29 UTC
Proto: add internal operation to transfer ticket from contracts to implicit accounts

Tip revision: 7f87b23

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