Ah, no. Accepts means the reviewer approved the PR, which seems to kick off a CI build. However, the build does not seem to include the latest (unmerged) changes.
Ah, this was totally a mistake on my part. I have a fairly complicated build process and was doing a “git clone” of master from the public github repository (which obviously wouldn’t include un-merged changes). Feel free to close this.