Skip to content

ci: add coverage --min=95 gate with pcov driver - #20

Merged
Goosterhof merged 1 commit into
mainfrom
ci-coverage-min-gate
Jul 17, 2026
Merged

ci: add coverage --min=95 gate with pcov driver#20
Goosterhof merged 1 commit into
mainfrom
ci-coverage-min-gate

Commits

Commits on Jul 17, 2026