Skip to content

Update pre-commit #300

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom
Open
wants to merge 1 commit into
base: devel
Choose a base branch
from
Open

Update pre-commit #300

wants to merge 1 commit into from
+2 −2

Conversation

@github-actions
Copy link
Contributor

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

Update pre-commit

@github-actions github-actions bot force-pushed the create-pull-request/update-pre-commit branch from 61740f9 to a16bc4e Compare October 9, 2025 05:24
@github-actions github-actions bot force-pushed the create-pull-request/update-pre-commit branch from a16bc4e to 7b42a78 Compare November 6, 2025 05:26
@github-actions github-actions bot force-pushed the create-pull-request/update-pre-commit branch 2 times, most recently from e38e6ee to a28a5a9 Compare November 13, 2025 05:26
@github-actions github-actions bot force-pushed the create-pull-request/update-pre-commit branch from a28a5a9 to c00ab3d Compare November 22, 2025 05:23
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

@branic branic branic approved these changes

Assignees

No one assigned

Labels

automated pr pre-commit

Projects

None yet

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

2 participants

@branic