Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Don't run CI workflow on pushes to main
This really doesn't do or gate anything and is just wasted runner minutes.
- Loading branch information