Skip to content

Conversation

@github-actions
Copy link
Contributor

@github-actions github-actions bot commented Oct 1, 2025

This PR was auto-generated to update pre-commit and its dependencies.

@github-actions github-actions bot added the ci Changes that affect github actions CI label Oct 1, 2025
@xylar xylar merged commit 73272cd into master Oct 1, 2025
@xylar xylar deleted the update-pre-commit-deps branch October 1, 2025 08:22
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

ci Changes that affect github actions CI

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants