[isabelle-dev] Status of afp-2015

[Gerwin Klein]

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.

The email notification will probably not be working, though, because it’s running on a Linux machine in Sydney instead of Darwin in Munich (so it doesn’t interfere with the rest of the setup in Munich too much). Will check the logs manually once a day and report back if things break until I figure out something better.

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.

Cheers,
Gerwin

> On 28 Apr 2015, at 7:26 pm, Makarius <makarius at sketis.net> wrote:
>
> On Tue, 28 Apr 2015, Gerwin Klein wrote:
>
>> You’re right, it is currently not tested automatically. I was going to set this up on the weekend, but didn’t manage to.
>>
>> As far as I’m aware, there weren’t any commits to afp-2015 after the fork apart from one update that was a leaf node that I checked manually. Isabelle-RC has moved, though.
>
> With the formal changesets, it is easy to check the true diffs, but there is nothing significant to see.
>
> I've just made yet another manual test: at least one of my AFP directory locations was on a different repository clone.  Test is still running ...
>
>
>       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.