Skip to content

chore(upstream-docs): update watched-document baseline - #165

Open
github-actions[bot] wants to merge 1 commit into
mainfrom
upstream-docs-baseline
Open

github-actions[bot] wants to merge 1 commit into
mainfrom
upstream-docs-baseline

Conversation

@github-actions

@github-actions github-actions Bot commented Oct 5, 2026

Copy link
Copy Markdown
Contributor

A watched upstream document moved, or a fetch failure changed its
count, so upstream-docs-state.json no longer describes what the
watcher sees. Merging this makes the new observation the baseline the
next run compares against.

Read the upstream-doc issues this run opened before merging: this
accepts the new bytes as normal, and on its own says nothing about
whether the registers a driver decodes by have moved.

The required checks do not start on their own here. A pull request
opened with GITHUB_TOKEN starts no workflow run, so this one arrives
with an empty status rollup. Close and reopen it to run them. The
validate run dispatched against the branch head is a verdict you can
read in the meantime -- GitHub does not count it toward the rollup.

Opened by the watch-upstream-docs workflow.

Signed-off-by: github-actions[bot] <41898282+github-actions[bot]@users.noreply.github.com>

This branch has not been deployed

No deployments
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

0 participants