#1763 (Aug 30, 2022, 12:51:06 AM)

1. update VSCodium 1.65.2 ~> 1.70.1, Electron 13.5.2 ~> 18.3.5, Node.js v14.16.0 ~> v16.13.2; (detail / hgweb)
2. provide cvc5-1.0.2 (inactive); (detail / hgweb)
3. tuned output; (detail / hgweb)
4. tool to build Isabelle component for cvc5; (detail / hgweb)
5. tuned: avoid odd stateful programming; (detail / hgweb)

Started by an SCM change

This run spent:

• 5.3 sec waiting;
• 1 hr 49 min build duration;
• 1 hr 49 min total from scheduled to completion.