Skip to content
Started 2 mo 22 days ago
Took 4 hr 54 min on workermta1
Success

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

Changes
  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.
Revision: a8ac72f7dd9fd0e97c6efaf5ad017b89c3ec13c8