Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Avoid double CI runs in default Github Actions generated config
Otherwise CI will run once for every pull request update and once for every push. The disavantage is that people working on a non default branch without creating pull requests won't get CI run at all. I think the advantages are greater than the disadvantages, it's also my personal workflow, and it's something desired enough so that someone opened an issue about it. So let's do it! Co-authored-by: NeimadTL <damientalbot26@gmail.com>
- Loading branch information