Skip to content
Started 7 hr 11 min ago
Took 28 min on workermtahpc
Success

#5143 (Mar 28, 2024, 7:19:53 PM)

Changes

Mercurial (hg https://isabelle.in.tum.de/repos/isabelle/ default)

  1. tuned; (detail / hgweb)
  2. removed unused/obsolete material: some of it was motivated by Isabelle/MMT (e.g. f150253cb201), but is superseded by AFP metadata (TOML); (detail / hgweb)
  3. clarified signature; (detail / hgweb)
  4. clarified modules: more official Sessions.notable_groups; (detail / hgweb)
  5. tuned (detail / hgweb)

Mercurial (hg https://foss.heptapod.net/isa-afp/afp-devel/ default)

  1. tuned: prefer for-comprehension in complicated situations; (detail)
  2. tuned formatting; (detail)
  3. tuned: more uniform Isabelle style; (detail)
  4. tuned imports; (detail)
  5. tuned; (detail)
  6. clarified options; (detail)
  7. Distributed_Distinct_Elements: Fix aliasing issue introduce in isabelle distribution. (detail)
  8. merged (detail)
  9. tuned proofs: avoid z3 to make it work on arm64-linux; (detail)
  10. tuned whitespace; (detail)
  11. tuned proofs: avoid z3 to make it work on arm64-linux; (detail)
  12. tuned proofs: avoid z3 to make it work on arm64-linux; (detail)
  13. clarified types: richer interface for metadata; (detail)
  14. add option to run formatting operations on all metadata files; (detail)
  15. tuned; (detail)
  16. tuned; (detail)
  17. update to Isabelle/42bc8ab751c1; (detail)

Started by an SCM change

This run spent:

  • 2 min 3 sec waiting;
  • 28 min build duration;
  • 30 min total from scheduled to completion.
Revision: 68f6b29ae06692ff5b5287583cefb35e21d65851
Revision: 7a425b5f62ba6f2e2923b960269992c62a589fd9