Skip to content

docs(AGENTS.md): the dev-server port is a default, not hard-wired, and the three contributor lines agree with the code #816

docs(AGENTS.md): the dev-server port is a default, not hard-wired, and the three contributor lines agree with the code

docs(AGENTS.md): the dev-server port is a default, not hard-wired, and the three contributor lines agree with the code #816

Triggered via pull request October 28, 2026 05:29
Status Success
Total duration 35s
Artifacts –

pr-body-guards.yml

on: pull_request
PR-body guards (claim · duplicate · Part-of · single-writer path)
31s
PR-body guards (claim · duplicate · Part-of · single-writer path)
Fit to window
Zoom out
Zoom in

Annotations

1 notice
PR-body guards (claim · duplicate · Part-of · single-writer path)
"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"