[isabelle-dev] AFP: Failing entries
Gerwin.Klein at nicta.com.au
Wed Jun 25 13:25:03 CEST 2014
thanks for the update.
The last few days have seen isatest failures. The AFP test only runs when isatest is successful on polyml.
The last failure that I saw (today) was on the smlnj platform only, so if nothing else goes wrong it should run through today.
On 25.06.2014, at 8:02 pm, Peter Lammich <lammich at in.tum.de> wrote:
> yesterday, I have committed changes that should fix the CAVA-entries.
> Testboard has already seen my changes, and everything seems fine there:
> However, the revision 7774f1f22e30 mentioned on
> is 3 days old. When will this be updated?
> isabelle-dev mailing list
> isabelle-dev at in.tum.de
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.
More information about the isabelle-dev