Is this related to the latest Poly/ML changes? The "slow" job still runs on the x86_64 platform. Last time it worked was 76fbd806ebc5. Hardware is 8-core LRZ VM.
https://ci.isabelle.systems/jenkins/job/isabelle-nightly-slow/1010/consoleFull _______________________________________________ isabelle-dev mailing list isabelle-...@in.tum.de https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
