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 Oct 17, 2025
@github-actions github-actions bot added the dependencies Pull requests that update a dependency file label Oct 17, 2025
@allnes allnes enabled auto-merge October 18, 2025 10:05
@allnes allnes disabled auto-merge October 18, 2025 10:05
@allnes allnes merged commit 1217cce into master Oct 18, 2025
@allnes allnes deleted the update-pre-commit-hooks branch October 18, 2025 10:05
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