Skip to content

Conversation

github-actions[bot]
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 September 12, 2025 00:03
@github-actions github-actions bot added the dependencies Pull requests that update a dependency file label Sep 12, 2025
@github-actions github-actions bot requested a review from allnes as a code owner September 12, 2025 00:03
@allnes allnes enabled auto-merge September 12, 2025 08:39
@aobolensk aobolensk disabled auto-merge September 13, 2025 21:28
@aobolensk aobolensk merged commit 78ca842 into master Sep 13, 2025
@aobolensk aobolensk deleted the update-pre-commit-hooks branch September 13, 2025 21:28
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.

1 participant