report-coverage.sh

#! /usr/bin/env bash
set -x
find ./result-doc/share/doc
cp ./result-doc/share/doc/*/.coverage.* ./
python -m coverage combine
python -m coverage report
python -m coverage xml

# Unfortunately, this is the recommended uploader.
# https://docs.codecov.io/docs/about-the-codecov-bash-uploader
bash <(curl -s https://codecov.io/bash)