search

msakai / toysolver

My sandbox for experimenting with solver algorithms.
Other
154 stars 11 forks source link

GitHub Actions: trigger CI only on 'master' branch, tags, and pull requests #109

Closed msakai closed 5 months ago

msakai commented 5 months ago

We do not want CI to be performed twice for a pull request from the same repository: once for a push to a branch and once for a pull request.