Skip to content

Run pre-commit in GitHub Actions#1052

Merged
Lee-W merged 5 commits intomasterfrom
run-pre-commit-on-ci
Apr 12, 2024