#2141 (Mar 2, 2024, 2:20:59 AM)

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

Started by an SCM change

This run spent:

• 1 hr 30 min waiting;
• 2 hr 3 min build duration;
• 3 hr 34 min total from scheduled to completion.