fix: replace Effect.die with ToolFailure in read tool TOCTOU checks#30924
Closed
weiconghe wants to merge 1 commit into
Closed
fix: replace Effect.die with ToolFailure in read tool TOCTOU checks#30924weiconghe wants to merge 1 commit into
weiconghe wants to merge 1 commit into