Skip to content
Author
Filter by author
Label
Filter by label
Use alt + click/return to exclude labels
or + click/return for logical OR
Projects
Filter by project
Milestones
Filter by milestone
Reviews
Assignee
Filter by who’s assigned
Sort
Shrinker improvements
#235 opened Apr 3, 2022 by jmid Loading…
QCheck2.Gen: enforce naming consistency
#223 opened Jan 17, 2022 by vch9 Loading…
QCHECK_LONG_FACTOR environment variable
#220 opened Jan 7, 2022 by vch9 Loading…
Deriver: qcheck and qcheck2
#209 opened Dec 13, 2021 by vch9 Loading…
Coverage report with bisect_ppx
#206 opened Dec 3, 2021 by vch9 Loading…
Factor shrink loggers
#172 opened Sep 7, 2021 by jmid Loading…
ProTip! Filter pull requests by the default branch with base:master.