Skip to content
Check labels

GH-145000: Add a tool to check removed HTML IDs #238998

Sign in to view logs

GH-145000: Add a tool to check removed HTML IDs

GH-145000: Add a tool to check removed HTML IDs #238998

Triggered via pull request February 20, 2026 19:09
@bedevere-appbedevere-app[bot]
labeled #145001
encukou:check-removed-anchors
Status Success
Total duration 6s
Artifacts –

require-pr-label.yml

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

Annotations

1 warning
Unresolved review
Label error. Requires exactly 1 of: type-feature. Found: awaiting merge, skip news