add type optional - #382

Merged

nikgraf merged 13 commits into

mainfrom

ng/add-type-optional

Jul 30, 2025

Commits on Jul 29, 2025

add Type.optional
nikgraf
committed
c7a0999
remove unused code
nikgraf
committed
77837c7
implement Type.optional
nikgraf
committed
d37cdc3
increase limit
nikgraf
committed
cbb0f40
remove TODOs
nikgraf
committed
76dc06a
add tests
nikgraf
committed
53d5166
add documentation
nikgraf
committed
b254095
improve test and fix lint
nikgraf
committed
9e8806c

Commits on Jul 30, 2025

Merge branch 'main' into ng/add-type-optional
nikgraf
committed
fd1481a
fix listing spaces without a name
nikgraf
committed
7749422
fix optional type check and add tests
nikgraf
committed
77045db
Merge branch 'main' into ng/add-type-optional
nikgraf
committed
67776d8
add changeset
nikgraf
committed
bbf8e36