Skip to content

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

Merged
t0kubetsu merged 1 commit 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 1 commit into
mainfrom
ci/coverage-gate-in-ci

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

fb8447f
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar