Skip to content

Conversation

@grosser
Copy link
Owner

@grosser grosser commented Oct 17, 2025

@Ben3eeE
Copy link

Ben3eeE commented Oct 30, 2025

Hey, just wondering if there is anything needed to get this released? CI seems to be failing I could take a look at it if that would help.

@grosser grosser merged commit 11d1540 into master Oct 30, 2025
10 of 13 checks passed
@grosser grosser deleted the grosser/type branch October 30, 2025 21:12
@grosser
Copy link
Owner Author

grosser commented Oct 30, 2025

v5.5.0.

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