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 Aug 22, 2025
@github-actions github-actions bot force-pushed the update-pre-commit-hooks branch from f81047a to cc830df Compare August 22, 2025 00:03
@allnes allnes enabled auto-merge August 22, 2025 00:08
@aobolensk aobolensk disabled auto-merge August 22, 2025 10:14
@aobolensk aobolensk merged commit 641802a into master Aug 22, 2025
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