[isabelle-dev] status (AFP)
gerwin.klein at nicta.com.au
Wed Jun 20 03:12:26 CEST 2012
According to the log, the test didn't run Jun 16-18 which are the days with NFS trouble.
The test ran successfully on Jun 19 with afp 3acca130d67d and isabelle 72acba14c12b.
There is something fishy with the isabelle version, though: it's been showing 72acba14c12b since Jun 2. Will investigate.
On 20/06/2012, at 10:30 AM, Gerwin Klein wrote:
> isatest home was not mounted on macbroy2 where the test runs. That explains the last few days. It should have run yesterday.
> 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?
>> 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,
>> isabelle-dev mailing list
>> isabelle-dev at in.tum.de
> isabelle-dev mailing list
> isabelle-dev at in.tum.de
More information about the isabelle-dev