Debug: Size of coverage file (#50380)

pull/50385/head
John R Barker 6 years ago committed by GitHub
parent 9fb4e24660
commit e6ced9c73f
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

@ -88,6 +88,8 @@ function cleanup
# upload coverage report to codecov.io only when using complete on-demand coverage
if [ "${COVERAGE}" ] && [ "${CHANGED}" == "" ]; then
for file in test/results/reports/coverage=*.xml; do
ls -l "${file}"
flags="${file##*/coverage=}"
flags="${flags%.xml}"
flags="${flags//=/,}"

Loading…
Cancel
Save