Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Update Github workflow trigger (#1453)
Run workflow when pushing to the main branch and when opening a PR against the main branch.
- Loading branch information