Skip to content

ci: run pre-commit on pull requests - #18

Merged
dmadisetti merged 2 commits into
mainfrom
ci/run-pre-commit
Jul 22, 2026
Merged

ci: run pre-commit on pull requests#18
dmadisetti merged 2 commits into
mainfrom
ci/run-pre-commit

Commits

Commits on Jul 22, 2026