Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
ci: for push event: only if branch=main
This also avoids double-building on pull requests in own repo.
- Loading branch information