Skip to content

fix(conversions): cast geom_type to int in merge_geoms enum check - #32

Merged
kevinzakka merged 2 commits into
mujocolab:mainfrom
Guozhongyuan:fix/geom-type-enum-membership
Oct 31, 2026
Merged

fix(conversions): cast geom_type to int in merge_geoms enum check#32
kevinzakka merged 2 commits into
mujocolab:mainfrom
Guozhongyuan:fix/geom-type-enum-membership

Format merge_geoms type check.

2305f22
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 warning and 1 notice
pyright
succeeded Oct 31, 2026 in 18s