#2480 (Mar 1, 2024, 1:33:15 AM)

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

1. provide cvc5-1.1.1 for testing --- still inactive; (detail)
2. rebuild bash_process executables on current reference platforms, including native arm64-darwin;
   enforce rebuild of Isabelle/Scala + Isabelle/ML; (detail)
3. tuned NEWS, see also c62003e05e46; (detail)
4. update NEWS, following ea1913c953ef; (detail)
5. tuned whitespace according to jEdit mode parameters ":wrap=hard:maxLineLen=72:"; (detail)
6. more explicit NEWS (see 3648e9c88d0c); (detail)
7. NEWS for a53287d9add3, 3e30ca77ccfe; (detail)
8. add option for unify trace (now disabled by default as printing is excessive and rarely used); (detail)
9. tuned unify trace option names; (detail)

Mercurial (hg https://foss.heptapod.net/isa-afp/afp-devel/ default)

1. backed out changeset ddf90847bfa5: still requires approx. 8-10h elapsed time / 50h CPU time on common test hardware (see 13b3e24a71b0), only latest x86_64-linux hardware is reasonably fast (3.5h elapsed time, 20h CPU time seen on of1.proof.cit.tum.de), but arm64-darwin is very slow; (detail)
2. tuned signature, following Isabelle/da4e82434985; (detail)
3. adapted to Isabelle/3648e9c88d0c; (detail)

Started by an SCM change

This run spent:

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