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

no_pins: refuse '<=' and exact '=' ceilings (#37)#92
linuxnow merged 2 commits into
mainfrom
fix/37-nopins-ceiling-forms

Merge branch 'main' into fix/37-nopins-ceiling-forms

cc13401
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar