Rename tool.execution_end to tool.execution_complete#385
Merged
friggeri merged 1 commit intogithub:mainfrom Feb 6, 2026
Merged
Rename tool.execution_end to tool.execution_complete#385friggeri merged 1 commit intogithub:mainfrom
friggeri merged 1 commit intogithub:mainfrom