Update pre-commit hooks; pin GitHub actions to exact refs#758
Open
AlexWaygood wants to merge 1 commit into
Open
Update pre-commit hooks; pin GitHub actions to exact refs#758AlexWaygood wants to merge 1 commit into
AlexWaygood wants to merge 1 commit into
Commits
Commits on May 26, 2026
- committed
