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

ci: add GitHub Actions workflow mirroring pre-commit

b1a3ecf
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar