Build docs

Fix tool id handling for shed-installed tools #34335

Sign in to view logs

Triggered via pull request April 23, 2026 19:55

guerler

synchronize #22553

guerler:toolrequests.000

Status Success

Total duration 1h 36m 6s

Artifacts –

docs.yaml

on: pull_request

Matrix: build

⚡