Skip to content

fix(workbench): one tool roster, pinned in CI, instead of three hand-written ones - #401

Merged
EtienneLescot merged 2 commits into
mainfrom
claude/workbench-tool-roster
Aug 20, 2026
Merged

fix(workbench): one tool roster, pinned in CI, instead of three hand-written ones#401
EtienneLescot merged 2 commits into
mainfrom
claude/workbench-tool-roster

fix(workbench): the counts the roster left behind, and one lying docb…

238ea11
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar