[main]: Update docs to include tool renaming guide (#1623) #121

Sign in to view logs

Triggered via dynamic December 16, 2025 17:54

github-codespaces[bot]

main

Status Success

Total duration 20m 38s

Artifacts –

create_codespaces_prebuilds

on: dynamic