#35 (Apr 2, 2024, 1:42:25 PM)

1. make Go test mandatory (detail / hgweb)
2. remove generated files (detail / hgweb)
3. remove "horrible workaround", fixed in upstream Isabelle (authored by Terru) (detail / hgweb)
4. adapted Zeta_3_Irrational w.r.t. isabelle/4c1347e172b1 (detail / hgweb)
5. adapted to isabelle/4c1347e172b1 (detail / hgweb)
6. moved web_app to distribution (see Isabelle/37ea0727291f); (detail / hgweb)
7. tuned; (detail / hgweb)
8. clarified web app parameters; (detail / hgweb)
9. proper topic input validation; (detail / hgweb)
10. clarified web_app paths: better naming, more operations; (detail / hgweb)
11. tuned; (detail / hgweb)
12. clarified afp_submit: moved submission logic to model; (detail / hgweb)
13. clarified afp_submit: separate model, view, and (API) paths properly; (detail / hgweb)
14. better rendering of submission archive and Isabelle log; (detail / hgweb)
15. proper state handling in submission handler; (detail / hgweb)
16. tuned; (detail / hgweb)
17. tuned name; (detail / hgweb)
18. add explicit synchronized server state; (detail / hgweb)
19. more uniform load_entries; (detail / hgweb)
20. Merged. (detail / hgweb)
21. Sync with my development repo. (detail / hgweb)
22. tuned: prefer for-comprehension in complicated situations; (detail / hgweb)
23. tuned formatting; (detail / hgweb)
24. tuned: more uniform Isabelle style; (detail / hgweb)
25. tuned imports; (detail / hgweb)
26. tuned; (detail / hgweb)
27. clarified options; (detail / hgweb)
28. Distributed_Distinct_Elements: Fix aliasing issue introduce in isabelle distribution. (detail / hgweb)
29. merged (detail / hgweb)
30. tuned proofs: avoid z3 to make it work on arm64-linux; (detail / hgweb)
31. tuned whitespace; (detail / hgweb)
32. tuned proofs: avoid z3 to make it work on arm64-linux; (detail / hgweb)
33. tuned proofs: avoid z3 to make it work on arm64-linux; (detail / hgweb)
34. clarified types: richer interface for metadata; (detail / hgweb)
35. add option to run formatting operations on all metadata files; (detail / hgweb)
36. tuned; (detail / hgweb)
37. tuned; (detail / hgweb)
38. update to Isabelle/42bc8ab751c1; (detail / hgweb)
39. proper Go setup, following Isabelle/da323d3d7570; (detail / hgweb)

Started by an SCM change (2 times)

This run spent:

• 3 hr 51 min waiting;
• 4 hr 54 min build duration;
• 8 hr 46 min total from scheduled to completion.