Skip to content

Convert verbose GitHub tool lists to toolsets in 9 workflows - #3022

Merged
pelikhan merged 3 commits into
mainfrom
copilot/fix-89615882-1036865607-fd4635c7-54b4-47b8-b743-23ababebdfbd
Nov 3, 2025
Merged

Convert verbose GitHub tool lists to toolsets in 9 workflows#3022
pelikhan merged 3 commits into
mainfrom
copilot/fix-89615882-1036865607-fd4635c7-54b4-47b8-b743-23ababebdfbd