-
-
Notifications
You must be signed in to change notification settings - Fork 0
Pull requests: hyperpolymath/dafniser
Author
Label
Projects
Milestones
Reviews
Assignee
Sort
Pull requests list
fix: the Hypatia gate could never fire — the defects that made it unconditionally vacuous
#67
opened Sep 3, 2026 by
hyperpolymath
Owner
Loading…
chore(ci): repoint push-email-notify to smtp-notify-action
#66
opened Sep 2, 2026 by
hyperpolymath
Owner
Loading…
fix(ci): the invisible-character gate never matched anything
#62
opened Aug 27, 2026 by
hyperpolymath
Owner
Loading…
ProTip!
Find all pull requests that aren't related to any open issues with -linked:issue.