[ci] Remove web renderer option from tools. #31466
Triggered via pull request
November 12, 2024 19:21
auto-submit[bot]
closed
#8055
Status
Success
Total duration
11s
Artifacts
–