Skip to content

chore(deps-dev): update pre-commit tools - #1050

Merged
jenstroeger merged 1 commit into
mainfrom
update-pre-commit-tools-8
Dec 3, 2025
Merged

jenstroeger merged 1 commit into
mainfrom
update-pre-commit-tools-8

Conversation

@jenstroeger

Copy link
Copy Markdown
Owner

No description provided.

@jenstroeger
jenstroeger requested a review from behnazh as a code owner December 3, 2025 04:48
@jenstroeger
jenstroeger merged commit d72c795 into main Dec 3, 2025
17 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants