Re: PRs aren’t deploying

> If it doesn’t fix itself in the next day or so, I’ll try to see if I can
> report it somewhere.

This appears to be the issue.

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

It’s US Thanksgiving so I wouldn’t be surprised if GitHub is running a
skeleton crew today. Hopefully tomorrow…

                                        Be seeing you,
                                          norm

--
Norm Tovey-Walsh
Saxonica