Skip to content

ci: add GitHub Actions workflow mirroring pre-commit#47

Merged
junwen94 merged 1 commit into
mainfrom
ci/github-actions
Jul 8, 2026
Merged

ci: add GitHub Actions workflow mirroring pre-commit#47
junwen94 merged 1 commit into
mainfrom
ci/github-actions

Commits

Commits on Jul 8, 2026