Skip to content
[Jenkins]Jenkins
log in
Started 4 yr 7 mo ago
Took 1 hr 20 min on workermta1
Success

#1032 (Oct 15, 2019, 12:50:07 AM)

Build Artifacts
Changes
  1. clarified count_file; (detail / hgweb)
  2. clarified modules; (detail / hgweb)
  3. more complete coverage of sessions: process_theory operation needs to handle duplicate theories; (detail / hgweb)
  4. proper build_graph to make session selection work as in "isabelle build"; (detail / hgweb)
  5. incorporate sessions with record_proofs; (detail / hgweb)
  6. clarified options; (detail / hgweb)
  7. clarified signature; (detail / hgweb)
  8. clarified signature; (detail / hgweb)
  9. clarified signature; (detail / hgweb)
  10. clarified signature; (detail / hgweb)
  11. clarified "isabelle update" options -- more like "isabelle dump"; (detail / hgweb)
  12. clarified treatment of base logic image; (detail / hgweb)
  13. simplified options: always split; (detail / hgweb)
  14. proper guard -- avoid bad result; (detail / hgweb)
  15. split into standard partitions, for improved scalability; (detail / hgweb)
  16. clarified defaults; (detail / hgweb)
  17. tuned signature; (detail / hgweb)
  18. clarified signature: static Dump.Context vs. dynamic Dump.Session; (detail / hgweb)

Started by an SCM change

This run spent:

  • 5.7 sec waiting;
  • 1 hr 20 min build duration;
  • 1 hr 20 min total from scheduled to completion.
Revision: b627cfb23595869614360e1293b38ce4a0b96a17