#2114 (Feb 1, 2024, 12:50:08 AM)

1. rebuild "verit" for arm64-linux for more robustness, e.g. relevant for theory "HOL-ex.BigO";
   uniform baseline for "linux" and "linux_arm"; (detail / hgweb)
2. proper os_name "linux" instead of "linux_arm" (amending a33a6e541cbb); (detail / hgweb)
3. proper bash syntax (amending 0631dfc0db07); (detail / hgweb)
4. tuned proof: avoid z3; (detail / hgweb)
5. tuned proof: avoid z3 to make it work on arm64-linux; (detail / hgweb)
6. tuned proofs --- avoid smt with external prover, which is somewhat unstable on arm64-linux; (detail / hgweb)
7. merged (detail / hgweb)
8. more robust check of ISABELLE_PLATFORM_FAMILY within settings environment, to support its reunification with Isabelle/Scala (see also a33a6e541cbb, f3a356c64193); (detail / hgweb)
9. strengthened class parity (detail / hgweb)

Started by an SCM change

This run spent:

• 7.3 sec waiting;
• 2 hr 2 min build duration;
• 2 hr 2 min total from scheduled to completion.