Skip to content

Upgrade dependencies#113

Merged
cceckman merged 8 commits into
mainfrom
dev
May 15, 2026
Merged

Upgrade dependencies#113
cceckman merged 8 commits into
mainfrom
dev

Conversation

@cceckman

Copy link
Copy Markdown
Collaborator

Since we should do it every once in a while.

@cceckman cceckman marked this pull request as ready for review July 31, 2025 12:25
@cceckman cceckman requested a review from jdkaplan July 31, 2025 12:25

@jdkaplan jdkaplan left a comment

Copy link
Copy Markdown
Collaborator

Choose a reason for hiding this comment

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

✨ Thanks for keeping the house in order!

@cceckman

Copy link
Copy Markdown
Collaborator Author

@jdkaplan gave me a verbal "ship it" so HERE WE GO

@cceckman cceckman merged commit a8d831d into main May 15, 2026
9 checks passed
@cceckman cceckman deleted the dev branch May 15, 2026 20:24
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.

2 participants