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