Dear Isabelle developers,I have now migrated the "isabelle-nightly-slow" job to the new LRZ cloud infrastructure too. This means our infrastructure migration is completed.
A very nice effect of this is that builds complete much faster:The job used to require ~16:30h to complete, and now takes less than 10h.
Cheers Lars _______________________________________________ isabelle-dev mailing list [email protected] https://mailman46.in.tum.de/mailman/listinfo/isabelle-dev
