We'll need to wait a few hours until the Python documentation is rebuilt (hence why the workflow failed when re-run).

A

I'd like to move the English HTML docs build from the docs server and use Read the Docs, so we get ~instant deploys instead of waiting ~24 hours. The non-HTML and translations can remain on the docs server (at least to begin with).

But that will need more planning (adding the language/version switchers, perhaps co-ordination with RtD) so something for future discussion :)

waiting ~24 hours

Well, of course E[wait time] is only 12 hours..!

I have hesitations about moving to RtD, but again best part of a dedicated discussion. I think we could (and should) look into rebuilding /3/ (perhaps also the pre-release versions, but certainly only the English HTML) more frequently than 24 hours, potentially every 4 or 6. I'm led to believe the expensive bits of the build are not the HTML bits. I'll open a docsbuild-scripts issue.

A

Opened python/docsbuild-scripts#163

Thanks for opening that!

Today's daily build has built today.

I've restarted the GHA job and it's passed. I don't see an option to rebuild RTD, but feel free to close/re-open if you like.

@erlend-aasland would you mind rebase-merging this please? I wouldn't want to progress the CPython PR without having the developer's guide being properly up-to-date.

A

@erlend-aasland would you mind rebase-merging this please? I wouldn't want to progress the CPython PR without having the developer's guide being properly up-to-date.

Thanks for taking care of this!