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