build: pin tool installs in make tools#16546

pelikhan merged 1 commit intogithub:maingithub/gh-aw:mainfrom

davidahmann:codex/pin-tools-versionsdavidahmann/gh-aw:codex/pin-tools-versionsCopy head branch name to clipboard