Avoids #271 (comment)
Also, print the size numbers from before as well, for easier comparison.
Avoids #271 (comment)
Also, print the size numbers from before as well, for easier comparison.
ok, that push correctly failed. Let me push a rebase ...
90 | + ref: ${{ github.event.pull_request.head.sha }} 91 | + 92 | + - name: Ensure pull is rebased on current main 93 | + run: | 94 | + git fetch origin main --depth=10 95 | + git merge-base --is-ancestor origin/main ${{ github.event.pull_request.head.sha }}
nit: this is fine, since I don't think this is going to be relevant, but I assume this is going to fail if the ancestor is more than 10 commits away? I guess that's also why you picked 10, to be sure we're fetching deep enough.
Thx, fixed the hard-coded 10 by using ${{ github.event.pull_request.commits }} +1
Didn't test but LGTM. Great idea to check this in the CI!
Whoops, wrong button