The AFP test should now be running on macbroy2, starting each day at 6:28am. We
will see the next few days if it works..
It is currently doing the full run each day which takes about 10:30h. Please
let me know if this interferes with anything, I'm not sure who else is using
the machine when.
Yes, this is a very reasonable test.
Tobias
Am 18/01/2012 21:55, schrieb Makarius:
BTW, this versions merely skips the really slow proofs of same4, same5,
same6, but runs the fast one of same3 unconditionally. Superficially
this looks like a reasonable test. Or is their significant
On 13/01/2012, at 2:20 AM, Makarius wrote:
On Thu, 12 Jan 2012, Gerwin Klein wrote:
Yes, the default needs to be the full run. That shouldn't be hard to change,
though.
I'm happy to move the AFP test back to Munich, we'll soon reach saturation
on the test server here, and a dedicated
On 01/11/2012 09:29 PM, Alexander Krauss wrote:
The real problem is in fact JinjaThreads. AFAIK, the only machine at
TUM where it can still build (in principle) is lxbroy10, but as Lukas
pointed out there are still some failures, cf.
