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 30, 2025
@allnes allnes enabled auto-merge July 30, 2025 00:24
@aobolensk aobolensk disabled auto-merge July 30, 2025 06:22
@aobolensk aobolensk merged commit e154a8a into master Jul 30, 2025
29 checks passed
@aobolensk aobolensk deleted the update-pre-commit-hooks branch July 30, 2025 07:54
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