Repository navigation

chore(ci): add get_tool_input_properties to public API snapshot - #1014

Merged

ioannisj merged 1 commit into

mainfrom

fix/public-api-snapshot

Oct 6, 2026

Commits on Oct 6, 2026

chore(ci): add get_tool_input_properties to public API snapshot
ioannisj
committed
0f6c057