Label PRs

tools: Update install_tools.bat old echo from 2019 to 2022 #14181

Sign in to view logs

Triggered via pull request November 15, 2025 22:15

Daverd-GM

opened #60735

Status Success

Total duration 7s

Artifacts –

label-pr.yml

on: pull_request_target