Great, FlathubBot is having another episode…
Build successful but the build status isn’t reported to Github and I can’t merge the PR that releases 0.5.16.