Skip to content

Housekeeping#54

Merged
nikku merged 6 commits intomainfrom
housekeeping
Dec 13, 2025
Merged

Housekeeping#54
nikku merged 6 commits intomainfrom
housekeeping

Conversation

@nikku
Copy link
Owner

@nikku nikku commented Dec 13, 2025

Bump deps + basic housekeeping.

@nikku nikku added the dependencies Pull requests that update a dependency file label Dec 13, 2025
@nikku nikku force-pushed the housekeeping branch 4 times, most recently from 212eebf to 01e711b Compare December 13, 2025 19:13
@nikku nikku merged commit 04fd26f into main Dec 13, 2025
6 checks passed
@nikku nikku deleted the housekeeping branch December 13, 2025 19:16
@nikku nikku self-assigned this Dec 13, 2025
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