Skip to content

Drop true rows for variables that another row of Found already shows - #472

Merged
CatarinaGamboa merged 1 commit into
mainfrom
fix/unneeded-true-rows
Nov 4, 2026
Merged

Drop true rows for variables that another row of Found already shows#472
CatarinaGamboa merged 1 commit into
mainfrom
fix/unneeded-true-rows

Drop true binders that another row already shows

c99ef24
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar