Skip to content

Housekeeping#263

Merged
nikku merged 10 commits intomainfrom
housekeeping
Dec 16, 2025
Merged

Housekeeping#263
nikku merged 10 commits intomainfrom
housekeeping

Conversation

@nikku
Copy link
Owner

@nikku nikku commented Dec 16, 2025

Which issue does this PR address?

Bump (DEV) dependencies.

@nikku nikku self-assigned this Dec 16, 2025
@nikku nikku added the dependencies Pull requests that update a dependency file label Dec 16, 2025
@nikku nikku merged commit bfcc7cd into main Dec 16, 2025
5 checks passed
@nikku nikku deleted the housekeeping branch December 16, 2025 13:57
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

dependencies Pull requests that update a dependency file

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant