Skip to content

chore: refresh changelog - #413

Merged
MohamedBassem merged 1 commit into
mainfrom
chore/changelog-refresh
Oct 14, 2026
Merged

MohamedBassem merged 1 commit into
mainfrom
chore/changelog-refresh

Conversation

@github-actions

@github-actions github-actions Bot commented Oct 1, 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.

@mintlify

mintlify Bot commented Oct 1, 2026 •

Copy link
Copy Markdown
Contributor

Preview deployment for your docs. Learn more about Mintlify Previews.

Project Status Preview Updated
restatedev 🟢 Ready View Preview Oct 14, 2026, 10:00 AM

💡 Tip: Enable Automations to automatically generate PRs for you.

@github-actions
github-actions Bot force-pushed the chore/changelog-refresh branch from 68c603a to 229d164 Compare October 14, 2026 10:00
@MohamedBassem
MohamedBassem merged commit a12d4cc into main Oct 14, 2026
8 checks passed
@github-actions github-actions Bot locked and limited conversation to collaborators Oct 14, 2026

This branch was successfully deployed

1 active deployment
staging - docs — 229d1642 Deployed Oct 14, 2026 by mintlify[bot]
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