Skip to content

chore(deps): update pre-commit hooks - #538

Merged
jeertmans merged 1 commit into
mainfrom
update/pre-commit-hooks
Sep 10, 2026
Merged

chore(deps): update pre-commit hooks#538
jeertmans merged 1 commit into
mainfrom
update/pre-commit-hooks

Conversation

@github-actions

@github-actions github-actions Bot commented Sep 7, 2026

Copy link
Copy Markdown
Contributor

Automated changes by create-pull-request GitHub action

@github-actions github-actions Bot added ci Continuous integration (tests, lints, ...) dependencies Related to the project dependencies labels Sep 7, 2026
@jeertmans
jeertmans merged commit be5a1cf into main Sep 10, 2026
5 checks passed
@jeertmans
jeertmans deleted the update/pre-commit-hooks branch September 10, 2026 06:38
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

ci Continuous integration (tests, lints, ...) dependencies Related to the project dependencies

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant