Skip to content
Doc Example Ids

fix(scripts): lint-coverage's ratchet banner stops reciting which other gates carry the closing-keyword shape (objectui#9906) #1684

Sign in to view logs

fix(scripts): lint-coverage's ratchet banner stops reciting which other gates carry the closing-keyword shape (objectui#9906)

fix(scripts): lint-coverage's ratchet banner stops reciting which other gates carry the closing-keyword shape (objectui#9906) #1684

Triggered via pull request September 18, 2026 18:57
@os-try-charlesos-try-charles
synchronize #9937
claude/issue-9906-lint-coverage-banner-claim
Status Success
Total duration 14s
Artifacts –

doc-example-ids.yml

on: pull_request
Doc Example Id Check
10s
Doc Example Id Check
Fit to window
Zoom out
Zoom in

Annotations

1 notice
Doc Example Id Check
"The ubuntu-latest label will migrate to Ubuntu 26 beginning October 19, 2026. For more information, see https://github.com/actions/runner-images/issues/14748"