[isabelle-dev] status (AFP)

[Gerwin Klein]

Should be resolved now.

The problem was that ~/isatest/hg-isabelle couldn't pull and update, because someone else than isatest owned some of the internal .hg files and isatest got permission errors which it silently ignored.

I've set up a fresh clone under hg-isabelle. If there were any fancy symlinks or other changes in the old one, things might break (hg st came back clean, though).

Cheers,
Gerwin


On 20/06/2012, at 11:12 AM, Gerwin Klein wrote:

> 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.
> 
> Cheers,
> Gerwin
> 
> 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.
>> 
>> 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
>>> 
>> 
>> _______________________________________________
>> isabelle-dev mailing list
>> isabelle-dev at in.tum.de
>> https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
>> 
> 
> _______________________________________________
> isabelle-dev mailing list
> isabelle-dev at in.tum.de
> https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
>