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. Cheers, Gerwin 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 machine will give less noise on >> performance data. >> >> Which machine should I run it on? > > According to old-style isatest logs (excluding Mira) macbroy2 usually > finishes around 05:45. So it could afford a few more hours for AFP (4 or 8 > cores, FLYSPECK_SKIP_PROOFS=true). > > > Makarius > _______________________________________________ isabelle-dev mailing list [email protected] https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
