Skip to content
Started 1 yr 6 mo ago
Took 11 hr on workerlrz5
Success

#2073 (Sep 23, 2022, 1:33:07 AM)

Build Artifacts
Changes

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

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

Started by an SCM change

This run spent:

  • 5.1 sec waiting;
  • 11 hr build duration;
  • 11 hr total from scheduled to completion.
Revision: 769a7cd5a16ad61020fc7d1b7f7d526948cfff2a
Revision: b9df51ee10b8c8274937b2ccb061eb5be7860b96