Skip to content
Started 1 yr 6 mo ago
Took 1 hr 5 min on workermtahpc
Failed

#3965 (Sep 22, 2022, 8:32:06 PM)

Changes

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

  1. clarified signature: re-use store/cache from build results; (detail / hgweb)
  2. tuned signature; (detail / hgweb)
  3. clarified signature: persistent Node.source / Snapshot.source; (detail / hgweb)
  4. more examples; (detail / hgweb)
  5. proper filter (amending fb4215da4919); (detail / hgweb)
  6. clarified conditions: no_build is ok for presentation if "all_current" holds;
    tuned; (detail / hgweb)
  7. tuned; (detail / hgweb)
  8. tuned signature; (detail / hgweb)
  9. clarified presentation_sessions: work with partial results; (detail / hgweb)
  10. tuned signature: removed unused operations; (detail / hgweb)
  11. tuned; (detail / hgweb)
  12. tuned comments; (detail / hgweb)

Started by an SCM change

This run spent:

  • 2 min 3 sec waiting;
  • 1 hr 5 min build duration;
  • 1 hr 7 min total from scheduled to completion.
Revision: 769a7cd5a16ad61020fc7d1b7f7d526948cfff2a
Revision: b9df51ee10b8c8274937b2ccb061eb5be7860b96
Failed entries: