b28b37eb00
See #49441 for an earlier attempt, which was subsequently reverted. I am assuming that doubling the time will be sufficient if the machine is overloaded since so many of the tests already pass at 5 minutes, while still not holding back failures for needlessly long. |
||
---|---|---|
.. | ||
log2html.xsl | ||
logfile.css | ||
Logger.pm | ||
Machine.pm | ||
test-driver.pl | ||
treebits.js |