Skip to content

Report coverage through Codecov instead of a hardcoded badge - #17

Merged
rt87 merged 1 commit into
mainfrom
ci_codecov-instead-of-a-hardcoded-coverage-badge
Oct 22, 2026
Merged

rt87 merged 1 commit into
mainfrom
ci_codecov-instead-of-a-hardcoded-coverage-badge

Report coverage through Codecov instead of a hardcoded badge

b71a1f2
Select commit
Loading
Failed to load commit list.
Sign in for the full log view