Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Only trigger github actions on push or PR to main
In the current state, if I want to make a PR and I push a branch to that effect, all the CI jobs get trigered twice. With this change, we will still test contributions at the time that matters: when a change to main is proposed.
- Loading branch information