Even after the buildbot finishes and comments with a link to the test build, the github action check is not completing (“Expected — Waiting for status to be reported”), so I can’t merge the PR.
If someone with the ability to force-merge sees this, would you please?
EDIT: it finished evenutally, so nvm!