Skip to content

ci: move the coverage gate out of addopts into the CI step - #8

Merged
t0kubetsu merged 2 commits into
mainfrom
ci/coverage-gate-in-ci
Aug 12, 2026
Merged

ci: move the coverage gate out of addopts into the CI step#8
t0kubetsu merged 2 commits into
mainfrom
ci/coverage-gate-in-ci

Commits

Commits on Aug 12, 2026