Skip to content

Conversation

@swsnr
Copy link
Collaborator

@swsnr swsnr commented Oct 19, 2025

Release the last three PRs, which add new declarations so I figured we could do a minor version.

@swsnr swsnr self-assigned this Oct 19, 2025
@swsnr swsnr marked this pull request as draft October 19, 2025 06:46
@swsnr
Copy link
Collaborator Author

swsnr commented Oct 19, 2025

Changing to draft, because I'd like to get #87 in too, because it strengthens our CI.

@swsnr swsnr marked this pull request as ready for review November 5, 2025 17:09
@swsnr swsnr merged commit 27350d3 into main Nov 5, 2025
2 checks passed
@swsnr swsnr deleted the bump-version branch November 5, 2025 19:31
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.

3 participants