-
Notifications
You must be signed in to change notification settings - Fork 14
Pull requests: DeepSpec/sf
Author
Label
Projects
Milestones
Reviews
Assignee
Sort
Pull requests list
feat: github action to download latest files -> add, also add pdf generation, works
#24
opened Aug 4, 2026 by
srghma
Loading…
qc: rename QuickChick Derive commands to QCDerive (not backwards compatible; required for QuickChick master)
#23
opened Jul 16, 2026 by
JasonGross
Contributor
Loading…
ProTip!
Type g p on any issue or pull request to go back to the pull request listing page.