Confirmed: isabelle/18267ceb10b5 + afp/d8cda568cd81 pass the full build. This one took 6:52h, but was running more sequentially, I guess.
Cheers, Gerwin > On 28 Apr 2015, at 11:16 pm, Makarius <makar...@sketis.net> wrote: > > On Tue, 28 Apr 2015, Gerwin Klein wrote: > >> Have also kicked off a full test on afp-2015 now and if all goes well, I’ll >> switch it to automated once a day until the release. > >> Looks like another bit of infrastructure overhaul is needed in my scripts >> for running afp-test in parallel for an upcoming release and devel. >> >> I don’t expect that things will break much, though. > > OK. My manual test was succesful with Isabelle/18267ceb10b5 and > AFP/d8cda568cd81 -- it takes about 2.5h total. > > I don't expect significant changes to the Isabelle2015 anymore, especially > not changes in the proof tools and libraries. > > > Makarius ________________________________ The information in this e-mail may be confidential and subject to legal professional privilege and/or copyright. National ICT Australia Limited accepts no liability for any damage caused by this email or its attachments. _______________________________________________ isabelle-dev mailing list isabelle-...@in.tum.de https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
