Skip to content

Conversation

@github-actions
Copy link
Contributor

🤖 This PR was created automatically by the update-pre-commit workflow.

@github-actions github-actions bot added the dependencies Pull requests that update a dependency file label Jul 27, 2025
@aobolensk aobolensk merged commit d6e198c into master Jul 27, 2025
@aobolensk aobolensk deleted the update-pre-commit-hooks branch July 27, 2025 18:19
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.

2 participants