Skip to content

[3.14] GH-145000: Add a tool to record/check removed HTML IDs (GH-145001) #239857

[3.14] GH-145000: Add a tool to record/check removed HTML IDs (GH-145001)

[3.14] GH-145000: Add a tool to record/check removed HTML IDs (GH-145001) #239857

Triggered via pull request February 25, 2026 12:38
Status Success
Total duration 10s
Artifacts

require-pr-label.yml

on: pull_request
DO-NOT-MERGE
4s
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: awaiting review, skip news