Skip to content

coverage: remove dependency on bisect_ppx#6807

Merged
psafont merged 1 commit into
xapi-project:masterfrom
psafont:dev/pau/nocov
Dec 17, 2025
Merged

coverage: remove dependency on bisect_ppx#6807
psafont merged 1 commit into
xapi-project:masterfrom
psafont:dev/pau/nocov

Commits

Commits on Dec 17, 2025