Skip to content

Promote public references to 0.12.7 - #871

Merged
sandy-bonk[bot] merged 1 commit into
mainfrom
promote/0.12.7
Aug 14, 2026
Merged

Promote public references to 0.12.7#871
sandy-bonk[bot] merged 1 commit into
mainfrom
promote/0.12.7

Conversation

@sandy-bonk

@sandy-bonk sandy-bonk Bot commented Aug 14, 2026

Copy link
Copy Markdown
Contributor

Advance example and documentation Docker image references to 0.12.7 after full stable release verification.

@sandy-bonk
sandy-bonk Bot enabled auto-merge (squash) August 14, 2026 16:38
@changeset-bot

changeset-bot Bot commented Aug 14, 2026

Copy link
Copy Markdown

⚠️ No Changeset found

Latest commit: 14a95eb

Merging this PR will not cause a version bump for any packages. If these changes should not result in a new version, you're good to go. If these changes should result in a version bump, you need to add a changeset.

This PR includes no changesets

When changesets are added to this PR, you'll see the packages that this PR includes changesets for and the associated semver types

Click here to learn what changesets are, and how to add one.

Click here if you're a maintainer who wants to add a changeset to this PR

@devin-ai-integration devin-ai-integration Bot left a comment

Copy link
Copy Markdown
Contributor

Choose a reason for hiding this comment

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

✅ Devin Review: No Issues Found

Devin Review analyzed this PR and found no potential bugs to report.

View in Devin Review to see 1 additional finding.

Open in Devin Review

@sandy-bonk
sandy-bonk Bot merged commit 6ac5165 into main Aug 14, 2026
18 checks passed
@sandy-bonk
sandy-bonk Bot deleted the promote/0.12.7 branch August 14, 2026 16:43
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

0 participants