Re: PRs aren’t deploying

> https://github.com/actions/deploy-pages/issues/81

I believe this is resolved now. I *think* all of the builds finished and
produced the right output. I’ll take a closer look tomorrow.

                                        Be seeing you,
                                          norm

--
Norm Tovey-Walsh
Saxonica