push
github
Update gersemi pre-commit hook to new repository The gersemi project moved its pre-commit hook definition to a separate repository (BlankSpruce/gersemi-pre-commit) starting with v0.27.1, removing .pre-commit-hooks.yaml from the main repo. This broke the weekly pre-commit autoupdate CI workflow. See: https://github.com/BlankSpruce/gersemi/commit/e647b5238 Co-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com>
2475 of 2496 relevant lines covered (99.16%)
24236.29 hits per line
The commit SHA "13ed346fdd3d72eb6d08a621e42ac57dcb75e8e2" was not found in your repository, so the file cannot be loaded. This may be because you posted from a local development environment, or your CI created an ephemeral commit.