#2104 (Jan 21, 2024, 1:16:57 AM)

1. enforce rebuild of Isabelle/Scala + Isabelle/ML; (detail / hgweb)
2. updated to postgresql-42.7.1; (detail / hgweb)
3. updated to sqlite-jdbc-3.45.0.0, including slf4j-1.7.36; (detail / hgweb)
4. update to llncs-2.23;
   update src/Doc/Demo_LLNCS to include the new mandatory section "Disclosure of Interests"; (detail / hgweb)
5. clarified bootstrap; (detail / hgweb)
6. clarified directories; (detail / hgweb)
7. clarified directories; (detail / hgweb)
8. obsolete (see also fc88b943e1b2); (detail / hgweb)
9. proper output, following 2cd23d587db9; (detail / hgweb)
10. always use patchelf on Linux: base-line is Ubuntu 18.04 where that works properly (see also e79294c4230c); (detail / hgweb)
11. clarified directories; (detail / hgweb)
12. more accurate Isabelle versions; (detail / hgweb)
13. more accurate Ubuntu versions; (detail / hgweb)

Started by an SCM change

This run spent:

• 26 min waiting;
• 2 hr 2 min build duration;
• 2 hr 29 min total from scheduled to completion.