docs site has stopped building

[nschneid]

It looks like updates since July 9 have not been published.

I believe @dan-zeman is on vacation—is there anyone else with the power to fix this?

[AngledLuffa]

It doesn't appear to be a github action 🤷

[dan-zeman]

It looks like updates since July 9 have not been published.

I believe @dan-zeman is on vacation—is there anyone else with the power to fix this?

Yes, I am on vacation. But I never had the power to fix this kind of issues. @fginter maintains the server that renders the pages.