|
|
|
|
|
|
by Zarel
2277 days ago
|
|
|
It's much better than Travis in every way except one: GitHub Actions pull request checks are against the PR branch, while Travis pull request checks are against a merged tree. The most common case where this matters is if someone pushes a failing commit to master, and then all PRs based on that commit will also fail, and then a fix is pushed to master. With Travis, you just need to re-run checks, but with GitHub actions, all those PRs need to be rebased on the new master. |
|
|
Actually, actions/checkout will check out the merged tree by default.