#2107 (Jan 25, 2024, 4:08:02 AM)

1. tuned proof: avoid z3 to make it work on arm64-linux; (detail / hgweb)
2. update to jdk-21.0.2;
   enforce rebuild of Isabelle/Scala + Isabelle/ML; (detail / hgweb)
3. make build process state protected to avoid copying in subclasses (e.g. for database connections); (detail / hgweb)
4. add build_sync tag to sync certain options (e.g., build_engine) across build processes; (detail / hgweb)

Started by an SCM change

This run spent:

• 3 hr 18 min waiting;
• 2 hr 1 min build duration;
• 5 hr 19 min total from scheduled to completion.