[isabelle-dev] status (AFP)

Gerwin Klein gerwin.klein at nicta.com.au
Wed Jun 20 02:30:38 CEST 2012


isatest home was not mounted on macbroy2 where the test runs. That explains the last few days. It should have run yesterday.

Cheers,
Gerwin

On 19/06/2012, at 10:50 PM, Lukas Bulwahn wrote:

> Hi all,
> 
> since 06/05/2012, I have not received any status (AFP) emails, although it should have been failing the last days.
> (After Isabelle:e7e647949c95, the theory LinearQuantifierElim was failing, and I just fixed with AFP:96f043cb412e.)
> 
> Is the AFP test script still working properly?
> Maybe latest changes to the contrib directories broke the test script?
> 
> Lukas
> 
> On 06/05/2012 09:51 AM, Isabelle wrote:
>> The status of the following AFP entries changed or remains FAIL:
>> [JinjaThreads] changed from FAIL to ok.
>> 
>> Full entry status at http://afp.sourceforge.net/status.shtml
>> 
>> AFP version: development -- hg id 4c44fdeca962
>> Isabelle version: devel -- hg id 72acba14c12b
>> Test ended on: macbroy2, Tue Jun  5 09:51:34 CEST 2012.
>> 
>> Have a nice day,
>>   isatest
>> 
> 
> _______________________________________________
> isabelle-dev mailing list
> isabelle-dev at in.tum.de
> https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
> 




More information about the isabelle-dev mailing list