Skip to content

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

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

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

Triggered via pull request September 15, 2026 15:55
Status Success
Total duration 22s
Artifacts

require-pr-label.yml

on: pull_request
DO-NOT-MERGE
7s
DO-NOT-MERGE
Unresolved review
9s
Unresolved review
Fit to window
Zoom out
Zoom in

Annotations

1 warning
Unresolved review
Label error. Requires exactly 1 of: type-feature. Found: skip news, needs backport to 3.13, needs backport to 3.14