Skip to content
Started 14 hr ago
Took 2 hr 9 min on workermtahpc
Success

#2166 (Mar 29, 2024, 12:50:09 AM)

Build Artifacts
Changes
  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)
  6. merged (detail / hgweb)
  7. An assortment of new material, mostly due to Manuel (detail / hgweb)
  8. rebuild rsync-3.2.7 on current platforms, including native arm64-darwin;
    provide official etc/platforms.props, to retain platform directories after Components.Directory.clean() -- e.g. for SSH upload; (detail / hgweb)
  9. tuned signature; (detail / hgweb)
  10. tuned; (detail / hgweb)
  11. tuned signature; (detail / hgweb)
  12. merged (detail / hgweb)
  13. added lemma wfp_on_image and author name to theory (detail / hgweb)

Started by an SCM change

This run spent:

  • 7.7 sec waiting;
  • 2 hr 9 min build duration;
  • 2 hr 9 min total from scheduled to completion.
Revision: 68f6b29ae06692ff5b5287583cefb35e21d65851