Lint

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

Sign in to view logs

Triggered via pull request September 14, 2026 19:47

m-aciek

synchronize #157522

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

Status Success

Total duration 1m 1s

Artifacts –

lint.yml

on: pull_request