> - The "testboard" job will also be replaced to run Isabelle+AFP
> together. Historic builds will be deleted, as they are not relevant for
> the official history.

I have implemented this now. I'm currently monitoring the situation, but
so far, it seems like this sped up the process overall.
isabelle-dev mailing list

Reply via email to