#2033 (Oct 16, 2023, 12:50:09 AM)

1. more Haskell tests on macOS; (detail / hgweb)
2. more NEWS; (detail / hgweb)
3. disable naproche component for now: to be updated before the next Isabelle release; (detail / hgweb)
4. updated to stack-2.13.1: include arm64-darwin, although it does not quite work yet (e.g. session "Haskell");
   enforce rebuild of Isabelle/Pure and thus all Haskell applications; (detail / hgweb)

Started by an SCM change

This run spent:

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