Skip to content

chore: refresh changelog#299

Merged
gvdongen merged 1 commit into
mainfrom
chore/changelog-refresh
Jun 9, 2026
Merged

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

Conversation

@github-actions

@github-actions github-actions Bot commented Jun 4, 2026

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 June 4, 2026 13:09
@gvdongen gvdongen merged commit 59a7d88 into main Jun 9, 2026
2 checks passed
@gvdongen gvdongen deleted the chore/changelog-refresh branch June 9, 2026 06:27
@github-actions github-actions Bot locked and limited conversation to collaborators Jun 9, 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