Skip to content

[AUTO] pre-commit update#120

Merged
tmigot merged 1 commit intomainfrom
auto-pre-commit-update
Feb 15, 2026
Merged

[AUTO] pre-commit update#120
tmigot merged 1 commit intomainfrom
auto-pre-commit-update

Conversation

@github-actions
Copy link
Contributor

Automated changes by create-pull-request GitHub action

@github-actions github-actions bot added the chore label Dec 15, 2025
@github-actions github-actions bot force-pushed the auto-pre-commit-update branch from 9a12cbe to 5fed412 Compare January 8, 2026 07:11
@github-actions github-actions bot force-pushed the auto-pre-commit-update branch from 5fed412 to dbc737a Compare January 15, 2026 07:11
@github-actions github-actions bot force-pushed the auto-pre-commit-update branch 2 times, most recently from c4442fe to 0b0c80e Compare February 1, 2026 07:20
@github-actions github-actions bot force-pushed the auto-pre-commit-update branch from 0b0c80e to a457f12 Compare February 15, 2026 07:20
@tmigot tmigot merged commit de09e52 into main Feb 15, 2026
1 check passed
@tmigot tmigot deleted the auto-pre-commit-update branch February 15, 2026 21:14
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant