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