#1030 (Jun 8, 2024, 3:00:12 PM)

1. renamed lemmas (detail / hgweb)
2. build manager: echo error messages to server output; (detail / hgweb)
3. omit showing previous failures for user builds; (detail / hgweb)
4. always handle interrupted jobs; (detail / hgweb)
5. add cluster/hosts configurations to build manager: allows running jobs in parallel on distinct hardware; (detail / hgweb)
6. clarified context: operations now in build process; (detail / hgweb)
7. clarified: add explicit build process; (detail / hgweb)
8. remove unnecessary subdir; (detail / hgweb)
9. tuned; (detail / hgweb)
10. tuned proof: avoid smt/z3 to make this work with arm64-linux; (detail / hgweb)
11. proper afp_directory (amending 9308bc5f65d6); (detail / hgweb)
12. clarified names; (detail / hgweb)
13. clarified name: avoid clash with Library.Update; (detail / hgweb)
14. clarified signature; (detail / hgweb)
15. tuned whitespace; (detail / hgweb)
16. clarified signature; (detail / hgweb)
17. merged (detail / hgweb)
18. more informative ZBox; (detail / hgweb)
19. more operations; (detail / hgweb)
20. tuned signature; (detail / hgweb)
21. tuned; (detail / hgweb)
22. tuned signature; (detail / hgweb)
23. remove unused (see also 04214caeb9ac); (detail / hgweb)
24. tuned signature; (detail / hgweb)
25. add triggers to ci jobs: on commit vs timed; (detail / hgweb)
26. manage components of ci builds; (detail / hgweb)
27. use external CSS for build manager page; (detail / hgweb)
28. more build manager page; (detail / hgweb)
29. more page elements; (detail / hgweb)
30. web app: add automatic resize; (detail / hgweb)
31. ensure permissions when starting build task (e.g., due to misconfigured client); (detail / hgweb)
32. add verbose option to build_task; (detail / hgweb)
33. tuned; (detail / hgweb)
34. build manager: manage directories/permissions, to minimize local administration; (detail / hgweb)
35. read prefs properly; (detail / hgweb)
36. allow explicit Isabelle rev in build task (e.g., for older Isabelle versions); (detail / hgweb)
37. web app: proper document height; (detail / hgweb)
38. merged (detail / hgweb)
39. add build manager module; (detail / hgweb)
40. support ci job via hg_sync (cf. 7883f221d6d3); (detail / hgweb)
41. tuned; (detail / hgweb)
42. use Content-Digest header in HEAD requests instead of length (to track non-monotone changes); (detail / hgweb)

Started by an SCM change

This run spent:

• 9 sec waiting;
• 6 hr 40 min build duration;
• 6 hr 40 min total from scheduled to completion.