Skip to content

Regenerate derived files#69

Open
github-actions[bot] wants to merge 1 commit into
mainfrom
auto/regen-derived-20260612-225649
Open

Regenerate derived files#69
github-actions[bot] wants to merge 1 commit into
mainfrom
auto/regen-derived-20260612-225649

Conversation

@github-actions

Copy link
Copy Markdown
Contributor

Automated regeneration of derived files after schema changes.

Updated by running:

just gen-project
just gen-doc
just gen-sssom

Please review the diffs before merging.

@github-actions github-actions Bot added the automated-regen PRs created by the regen-derived workflow label Jun 12, 2026
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

automated-regen PRs created by the regen-derived workflow

Projects

None yet

Development

Successfully merging this pull request may close these issues.

0 participants