#2481 (Mar 2, 2024, 1:33:09 AM)

Mercurial (hg https://isabelle.in.tum.de/repos/isabelle/ default)

1. update to scala-3.3.3;
   enforce rebuild of Isabelle/Scala + Isabelle/ML; (detail)
2. provide e-3.0.03 on all platforms, including arm64-linux and arm64-darwin --- still inactive; (detail)
3. update NEWS, following 0d7c7fe65638; (detail)

Started by an SCM change

This run spent:

• 6.9 sec waiting;
• 10 hr build duration;
• 10 hr total from scheduled to completion.