Skip to content

chore: merge release v0.3.0 into main#16

Merged
jlav merged 1 commit into
mainfrom
release/2026-06-01
Jun 1, 2026
Merged

chore: merge release v0.3.0 into main#16
jlav merged 1 commit into
mainfrom
release/2026-06-01

Conversation

@github-actions
Copy link
Copy Markdown

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

Finishes the v0.3.0 release: squash-merge to advance main's version files. The fixes are already on main, so this lands as a single version-bump commit.

Co-authored-by: github-actions[bot] <41898282+github-actions[bot]@users.noreply.github.com>
@github-actions github-actions Bot added the release-meta Excluded from release notes label Jun 1, 2026
@jlav jlav merged commit 226e40a into main Jun 1, 2026
1 check passed
@jlav jlav deleted the release/2026-06-01 branch June 1, 2026 17:38
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

release-meta Excluded from release notes

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant