Replace gist-based coverage badge with Codecov and fix doxygen build#7

Merged

omkarsm merged 2 commits intomainfrom

fix/use-codecov-badge

Nov 12, 2025

Commits on Nov 12, 2025

Fix doxygen output directory creation
Omkar Mujumdar
committed
Using latest codecov
Omkar Mujumdar
committed