Skip to content
Check labels

gh-134817: Restore accidentally deleted line in documentation. #215025

Sign in to view logs

gh-134817: Restore accidentally deleted line in documentation.

gh-134817: Restore accidentally deleted line in documentation. #215025

Triggered via pull request November 4, 2025 18:22
@vsajipvsajip
labeled #141013
vsajip:fix-134817
Status Success
Total duration 10s
Artifacts –

require-pr-label.yml

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

Annotations

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