Skip to content

Fix scripts/sync-pre-commit.py#536

Merged
ewjoachim merged 2 commits intomainfrom
fix-ci
May 4, 2025
Merged

Fix scripts/sync-pre-commit.py#536
ewjoachim merged 2 commits intomainfrom
fix-ci

Commits

Commits on May 4, 2025