Skip to content
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.

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

[pre-commit.ci] pre-commit autoupdate #789

Merged
merged 1 commit into from
Oct 21, 2024
Merged

Conversation

pre-commit-ci[bot]
Copy link
Contributor

@pre-commit-ci pre-commit-ci bot commented Sep 30, 2024

@github-actions github-actions bot added the topic: infrastructure Regarding build system, CI, CD label Sep 30, 2024
updates:
- [github.com/pre-commit/pre-commit-hooks: v4.6.0 → v5.0.0](pre-commit/pre-commit-hooks@v4.6.0...v5.0.0)
- [github.com/pre-commit/mirrors-clang-format: v18.1.8 → v19.1.1](pre-commit/mirrors-clang-format@v18.1.8...v19.1.1)
@pre-commit-ci pre-commit-ci bot force-pushed the pre-commit-ci-update-config branch from da0ebca to e1acb90 Compare October 7, 2024 21:28
@veprbl veprbl enabled auto-merge October 8, 2024 23:28
@veprbl veprbl added this pull request to the merge queue Oct 9, 2024
@github-merge-queue github-merge-queue bot removed this pull request from the merge queue due to no response for status checks Oct 9, 2024
@veprbl veprbl added this pull request to the merge queue Oct 19, 2024
@github-merge-queue github-merge-queue bot removed this pull request from the merge queue due to no response for status checks Oct 20, 2024
@veprbl veprbl added this pull request to the merge queue Oct 20, 2024
Merged via the queue into main with commit ed1917d Oct 21, 2024
80 of 115 checks passed
@veprbl veprbl deleted the pre-commit-ci-update-config branch October 21, 2024 05:14
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
topic: infrastructure Regarding build system, CI, CD
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant