Lint

gh-157517: Docs: don't copy HTML sources, fix sidebar sources links #132961

Sign in to view logs

Triggered via pull request September 14, 2026 20:33

m-aciek

synchronize #157522

m-aciek:doc-html-dont-copy-source

Status Success

Total duration 56s

Artifacts –

lint.yml

on: pull_request