Skip to content

Update config to work on pre-commit-ci - #638

Merged
lorenzwalthert merged 2 commits into
mainfrom
dev-ci-v8-dep
Aug 24, 2025
Merged

Update config to work on pre-commit-ci#638
lorenzwalthert merged 2 commits into
mainfrom
dev-ci-v8-dep