Lint

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

Sign in to view logs

Triggered via pull request September 14, 2026 19:41

m-aciek

opened #157522

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

Status Success

Total duration 1m 2s

Artifacts –

lint.yml

on: pull_request