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