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 Sep 26, 2025
@github-actions github-actions bot force-pushed the update-pre-commit-hooks branch from 57e02bc to 6db1c3e Compare October 3, 2025 00:02
@aobolensk aobolensk merged commit 6ddac5a into master Oct 8, 2025
@aobolensk aobolensk deleted the update-pre-commit-hooks branch October 8, 2025 13:59
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.

3 participants