Skip to content

Conversation

@beman-automated-pr-bot
Copy link

Update versions of tools in pre-commit configs to latest version

@JeffGarland
Copy link
Member

standard infra update - merging.

@JeffGarland JeffGarland merged commit 0633b09 into main Jan 5, 2026
2 of 3 checks passed
@JeffGarland
Copy link
Member

for the CI failure #6

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants