summaryrefslogtreecommitdiff
path: root/.gitignore
AgeCommit message (Expand)Author
2 daysAdd bisect_ppx test coverage infrastructure with CI workflow and test suitesCrash Over Burn
3 daysPort upstream patches: Cmdliner 2.x, lockfile auto-creation, schema upgrade, ...Crash Over Burn