Failed spec builds

Hi folks,

I think I’ve got things working again on GitHub. If you have a PR that didn’t build successfully, try rebasing main and force pushing it. I think that’ll trigger a rebuild with the corrected scripts.

(If you have several such PRs, wait a few minutes between each push. If several PRs are running simultaneously, they can clash when it comes time to push the HTML to the server.)

--
Norm Tovey-Walsh
CEO, Saxonica

Received on Friday, 26 June 2026 09:56:32 UTC