Coverage: publish the report with the site - #45

Merged

floatdrop merged 2 commits into

mainfrom

Sep 10, 2026

Commits on Sep 10, 2026

CI: publish coverage to Codecov, and a badge for it
floatdrop
committed
ea94191
Coverage: publish the report with the site instead of to a service
floatdrop
committed
d5c825a