Skip to content

Show coverage in the CI job summary instead of Codecov - #48

Merged
afarber merged 1 commit into
mainfrom
drop-codecov
Oct 13, 2026
Merged

Show coverage in the CI job summary instead of Codecov#48
afarber merged 1 commit into
mainfrom
drop-codecov

Commits

  1. Commits on Oct 13, 2026