Draft: Copy HTML coverage report to the docs#4

Open

Letme wants to merge 1 commit intomainfrom

copy_coverage_to_docs

Commits on Sep 25, 2025

Trying to copy coverage to docs but it does not work (no link produced by sphinx)
Letme
committed