Skip to content

Conversation

@github-actions
Copy link
Contributor

@github-actions github-actions bot commented Aug 1, 2025

No description provided.

@github-actions github-actions bot requested a review from a team as a code owner August 1, 2025 00:05
@github-actions github-actions bot requested a review from jcristau August 1, 2025 00:05
@jcristau jcristau closed this Aug 1, 2025
@jcristau jcristau reopened this Aug 1, 2025
@jcristau jcristau enabled auto-merge (squash) August 1, 2025 07:32
@jcristau jcristau merged commit 2fb1e7c into main Aug 1, 2025
13 checks passed
@jcristau jcristau deleted the pre-commit-update branch August 1, 2025 07:33
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