[ilammy]

> GitHub Actions pull request checks are against the PR branch, while Travis pull request checks are against a merged tree

Actually, actions/checkout will check out the merged tree by default.

[Zarel]

Indeed, the documentation reflects this. So why isn't it happening on my repo? Weird...