CI: if adding comments to a PR, add it hidden if the commit being built isn't the last commit in the PR. ### Instructions for AI * Don't prefix pull requests titles with "[WIP] ".