-
-
Notifications
You must be signed in to change notification settings - Fork 636
Fix docbuilding on release tag #40379
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
base: develop
Are you sure you want to change the base?
Conversation
… build" This reverts commit 90392d8.
cc5dfd4
to
f59a6fd
Compare
do try to open a pull request on your repository to see that the diff is correctly processed. |
It randomly fails with
in the 'livedoc' building. I don't have time right now to investigate this further and thus temporarily disabled the live doc building. |
I guess if it works sometimes it's still better than it fails all of the time (?) |
I run it a couple of times, and it was always failing - but the "sub-docs" that triggered this error was always different. |
After #39973, some necessary steps during the docbuild on release tags are no longer run (see https://github.com/sagemath/sage/actions/runs/16100707903/job/45429461356). Sorry - that was my fault. This is fixed here.
Test run: https://github.com/tobiasdiez/sage/actions/runs/16323033505/job/46105684396
📝 Checklist
⌛ Dependencies