Skip to content

no_pins: refuse '<=' and exact '=' ceilings (#37) - #92

Merged
linuxnow merged 2 commits into
mainfrom
fix/37-nopins-ceiling-forms
Oct 18, 2026
Merged

linuxnow merged 2 commits into
mainfrom
fix/37-nopins-ceiling-forms

Commits

  1. Commits on Oct 18, 2026