Skip to content
Check labels

Docs: split builtins to their own page from library #296761

Sign in to view logs

Docs: split builtins to their own page from library

Docs: split builtins to their own page from library #296761

Triggered via pull request September 11, 2026 18:16
@hugovkhugovk
labeled #156682
nedbat:nedbat/split-builtin-stdlib
Status Success
Total duration 18s
Artifacts –

require-pr-label.yml

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

Annotations

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