[isabelle-dev] Status of afp-2015

Gerwin Klein Gerwin.Klein at nicta.com.au
Tue Apr 28 23:05:13 CEST 2015

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.


> 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.

More information about the isabelle-dev mailing list