Andrew Dunstan <andrew(at)dunslane(dot)net> writes:
> I think I have them all fixed now. See
> <https://github.com/PGBuildFarm/server-code/commit/fb3222f3625c9489ac76d7dae42eacb95a424c2e>
Thanks, but there's something weird about the "failures" page.
The filter menu for "Branch(es)" is only showing All and HEAD.
I'm seeing a stray ">" rendered next to it, too, which might
be related?
regards, tom lane