Max Nikulin <maniku...@gmail.com> writes: > On 15/07/2025 16:19, Christian Moe wrote: >> And it looks like html is building again, so it should be live in a bit. > > There was a broken link caused failures. Reading build logs helps to > identify issues despite error messages are far from being clear and > hints concerning location of invalid markup may be deeply buried > behind other message.
Oops ... The stuck worg build was my bad, then? Awkward. Thanks for fixing! But when I pushed that commit, builds had already been failing for a while, and not only for Worg. I understood it was an issue with overloaded GNU servers. Yours, Christian