วันเสาร์ที่ 8 กรกฎาคม พ.ศ. 2560

Re: [sage-devel] What to do with the "Timed out" failures of patchbots?

On 2017-07-07 16:25, Kwankyu Lee wrote:
> (1) Leave it as it is and live with it.
> (2) Increase default "Timed out" time limits by
> SAGE_TIMEOUT, SAGE_TIMEOUT_LONG variables.
> (3) Split the files that take long to be tested.

(4) Actually investigate why the tests time out so often

--
You received this message because you are subscribed to the Google Groups "sage-devel" group.
To unsubscribe from this group and stop receiving emails from it, send an email to sage-devel+unsubscribe@googlegroups.com.
To post to this group, send email to sage-devel@googlegroups.com.
Visit this group at https://groups.google.com/group/sage-devel.
For more options, visit https://groups.google.com/d/optout.

ไม่มีความคิดเห็น:

แสดงความคิดเห็น