Skip to content

⬆️ update development dependencies#757

Merged
jorenham merged 2 commits into
mainfrom
bump-dev-deps
Dec 22, 2025
Merged

⬆️ update development dependencies#757
jorenham merged 2 commits into
mainfrom
bump-dev-deps

Conversation

@jorenham
Copy link
Copy Markdown
Member

No description provided.

@jorenham jorenham enabled auto-merge December 22, 2025 21:15
@jorenham jorenham merged commit 09f2a8a into main Dec 22, 2025
24 checks passed
@jorenham jorenham deleted the bump-dev-deps branch December 22, 2025 21:16
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant