Skip to content

Conversation

@Kevin-de-Jong
Copy link
Contributor

In addition, all development dependencies have been crosschecked and updated

@github-actions github-actions bot added the fix label Jul 1, 2025
@Kevin-de-Jong Kevin-de-Jong merged commit 27d1429 into main Jul 1, 2025
5 checks passed
@Kevin-de-Jong Kevin-de-Jong deleted the deps/upgrade-deps branch July 1, 2025 20:20
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants