Skip to content

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

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

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

Commits

Commits on Aug 24, 2025