Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
ci: don't run linters on push to
main
(#14)
- Loading branch information
main
(#14)