Skip to content

chore: release v0.3.1#42

Merged
tob-scott-a merged 1 commit into
mainfrom
release/0.3.1
May 14, 2026
Merged

chore: release v0.3.1#42
tob-scott-a merged 1 commit into
mainfrom
release/0.3.1

Conversation

@tob-scott-a
Copy link
Copy Markdown
Collaborator

(We protected the main branch, so this is necessary to update the version metadata before releasing.)

@tob-scott-a tob-scott-a merged commit e05d98d into main May 14, 2026
12 checks passed
@tob-scott-a tob-scott-a deleted the release/0.3.1 branch May 14, 2026 18:01
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.

1 participant