Skip to content

doc: update generated developer documentation#35812

Open
github-actions[bot] wants to merge 1 commit intomainfrom
automated/update-generated-docs
Open

doc: update generated developer documentation#35812
github-actions[bot] wants to merge 1 commit intomainfrom
automated/update-generated-docs

Conversation

@github-actions
Copy link
Copy Markdown

Summary

Automated daily refresh of doc/developer/generated/ to reflect source code changes.

This PR was generated by the update-generated-docs workflow running .claude/commands/update-docs.md.

Scope

Only files under doc/developer/generated/ are modified.

Review checklist

  • No unrelated rewording or restructuring of existing text
  • No changelog language ("now", "added", "previously", etc.)
  • Changes correspond to actual source code changes

🤖 Generated with Claude Code

Automated daily refresh of doc/developer/generated/ to reflect
source changes since each doc was last written.

Co-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com>
@github-actions github-actions bot added the A-docs Area: documentation label Mar 31, 2026
@github-actions github-actions bot requested a review from bosconi March 31, 2026 19:26
Copy link
Copy Markdown
Member

@bosconi bosconi left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Looks good!

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

Labels

A-docs Area: documentation

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants