summaryrefslogtreecommitdiff
path: root/ci/upload_cov.sh
AgeCommit message (Collapse)Author
2023-04-21ci: Move to the codecov github actionNirbheek Chauhan
The pypi package was suddenly removed. Not the most confidence-inspiring deprecation/migration: https://about.codecov.io/blog/message-regarding-the-pypi-package/
2021-06-22coverage: Enable coverage reportsDaniel Mensinger