Skip to content

Skip modifying constraints that are zero-dimensional#460

Merged
odow merged 1 commit into
mainfrom
od/skip-zero-dim
Jul 8, 2026
Merged

Skip modifying constraints that are zero-dimensional#460
odow merged 1 commit into
mainfrom
od/skip-zero-dim

Skip modifying constraints that are zero-dimensional

313eadb
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar