Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Update Github Actions to run on PRs and push to master.
Instead of on every push. This will reduce the number of unnecessary runs we do.
- Loading branch information