Expired token

Hi folks,

The GitHub action that builds and publishes PRs uses a security token.
I accidentally let that expire last night. I’ve updated it this morning and restarted three jobs that appear to have failed because of that.

If anything else looks broken, let me know!

                                        Be seeing you,
                                          norm

--
Norm Tovey-Walsh
Saxonica