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 requested a review from aobolensk as a code owner October 10, 2025 00:03
@github-actions github-actions bot added the dependencies Pull requests that update a dependency file label Oct 10, 2025
@github-actions github-actions bot requested a review from allnes as a code owner October 10, 2025 00:03
@aobolensk aobolensk merged commit e81cc4e into master Oct 10, 2025
@aobolensk aobolensk deleted the update-pre-commit-hooks branch October 10, 2025 09:52
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