Skip to content

chore: updating dependency and tool versions#319

Merged
weibullguy merged 1 commit intomasterfrom
chore/update_dependency_versions
Jul 23, 2025
Merged

chore: updating dependency and tool versions#319
weibullguy merged 1 commit intomasterfrom
chore/update_dependency_versions

Conversation

@weibullguy
Copy link
Copy Markdown
Member

This updates dependency and tool versions. Closes security vulnerability #2.

@weibullguy weibullguy added chore Boring, but important, stuff dependencies Pull requests that update a dependency file labels Jul 23, 2025
@weibullguy weibullguy merged commit 6e147f4 into master Jul 23, 2025
7 checks passed
@weibullguy weibullguy deleted the chore/update_dependency_versions branch July 23, 2025 13:35
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

chore Boring, but important, stuff dependencies Pull requests that update a dependency file

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant