Skip to content
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

Builds timeout: request for increased time limit #3716

Closed
enielse opened this issue Mar 2, 2018 · 4 comments
Closed

Builds timeout: request for increased time limit #3716

enielse opened this issue Mar 2, 2018 · 4 comments
Labels
Support Support question

Comments

@enielse
Copy link

enielse commented Mar 2, 2018

Details

The builds are timing out after 15 minutes. By the end of 15 minutes the HTML build completes successfully, but the json (and local-media) build does not finish in time (see referenced build url). This is due to the project having a lot of documentation that needs to be built.

It also seems somewhat due to the speed of the computers performing the build - what takes about 15 minutes on readthedocs takes < 3 minutes on my several-year-old laptop.

If the build timeout could be increased to 30 or 45 minutes the builds should be successful. Also, or alternatively, if the json and local-media builds are not needed (I'm not sure what these are used for), disabling them would speed up the build.

Expected Result

A successful build.

Actual Result

Builds timeout.

@enielse
Copy link
Author

enielse commented Mar 2, 2018

Update: I've been able to trim down the docs to get them to build within the 15-minute window, so some of the builds more recent than the one I referenced above pass. I would still like the time limit to be extended, though, since this would let me build the "unabridged" version of my docs.

@humitos
Copy link
Member

humitos commented Mar 2, 2018

Hi! We were having some performance issues yesterday and we are trying to recover from them. So, probably your build will take less time today or tomorrow (just a guessing, though)

Please, wait some time and let us know again if this is still an issue for you.

json and local-media builds are not needed

JSON is used for the search, and there is an issue to track the idea of disabling local-media at #3220

@enielse
Copy link
Author

enielse commented Mar 3, 2018

Ok, thanks. I'll try to full docs again some in a few days or so.

@humitos
Copy link
Member

humitos commented May 8, 2018

It seems that your latest build are building properly. I'm closing here.

Anyway, those builds are five minutes away from the time limit. So, I just increased the time with 5 minutes more which should be enought for now. Feel free to request more time if it's needed, though.

Let us know in any case. Thanks!

@humitos humitos closed this as completed May 8, 2018
@humitos humitos added the Support Support question label May 8, 2018
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
Support Support question
Projects
None yet
Development

No branches or pull requests

2 participants