Skip to content

chore: refresh changelog#280

Merged
gvdongen merged 1 commit into
mainfrom
chore/changelog-refresh
May 20, 2026
Merged

chore: refresh changelog#280
gvdongen merged 1 commit into
mainfrom
chore/changelog-refresh

Conversation

@github-actions
Copy link
Copy Markdown
Contributor

Automated changelog refresh from GitHub releases across the
restatedev org. Review the rendered docs/changelog.mdx and merge
when the output looks right.

@github-actions github-actions Bot requested a review from gvdongen May 20, 2026 12:56
@gvdongen gvdongen merged commit ab785df into main May 20, 2026
2 checks passed
@github-actions github-actions Bot locked and limited conversation to collaborators May 20, 2026
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant