Skip to content

chore(release): bump version to 0.13.1 - #108

Merged
btspoony merged 1 commit into
mainfrom
release/0.13.1
Sep 18, 2026
Merged

btspoony merged 1 commit into
mainfrom
release/0.13.1

Conversation

@github-actions

Copy link
Copy Markdown
Contributor

Release 0.13.1

Merging this PR (keep the release label) creates annotated tag v0.13.1 and runs the Release workflow (GitHub Release + registry publish for non--rc. tags).

Generated by New release (workflow_dispatch).

@github-actions github-actions Bot added the release Release bump PR — merge to tag and publish label Sep 18, 2026

@cursor cursor Bot left a comment

Copy link
Copy Markdown

Choose a reason for hiding this comment

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

Risk: low. Approved this lockstep 0.13.1 version bump; Cursor Bugbot and Cursor Security Agent were not running after the first poll, so those signals were skipped. No reviewers were assigned.

Open in Web View Automation 

Sent by Cursor Approval Agent: Pull Request Router and Approver

@btspoony
btspoony merged commit 6aaaef1 into main Sep 18, 2026
22 checks passed
@btspoony
btspoony deleted the release/0.13.1 branch September 18, 2026 12:10
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

release Release bump PR — merge to tag and publish

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant