Skip to content

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

Merged
frahlg merged 1 commit into
mainfrom
upstream-docs-baseline
Aug 10, 2026
Merged

chore(upstream-docs): update watched-document baseline#79
frahlg merged 1 commit into
mainfrom
upstream-docs-baseline

Conversation

@github-actions

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>
@frahlg frahlg closed this Aug 10, 2026
@frahlg frahlg reopened this Aug 10, 2026
@frahlg
frahlg merged commit 59a2aec into main Aug 10, 2026
12 checks passed
@frahlg
frahlg deleted the upstream-docs-baseline branch August 10, 2026 06:47
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.

1 participant