Skip to content

dsl: Warn if shrinking SpaceDimension bounds#2934

Merged
FabioLuporini merged 1 commit into
mainfrom
warn-if-shrunk-bounds
May 19, 2026
Merged

dsl: Warn if shrinking SpaceDimension bounds#2934
FabioLuporini merged 1 commit into
mainfrom
warn-if-shrunk-bounds

dsl: Warn if shrinking SpaceDimension bounds

21bf445
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar