Skip to content
[Jenkins]Jenkins
log in
Started 4 yr 2 mo ago
Took 5 hr 0 min on workermta1
Aborted

#1178 (Apr 24, 2020, 12:50:07 AM)

Build Artifacts
HOL-Analysis.db68.00 KiB view
HOL-Analysis.gz29.82 KiB view
HOL-Cardinals.db20.00 KiB view
HOL-Cardinals.gz648 B view
HOL-Complex_Analysis.db20.00 KiB view
HOL.db44.00 KiB view
HOL.gz143.40 KiB view
Pure.db48.00 KiB view
Pure.gz68.49 KiB view
Changes
  1. merged (detail / hgweb)
  2. tuned document (detail / hgweb)
  3. split AVL_Set.thy (detail / hgweb)
  4. avoid passing chained facts twice to preplay in Sledgehammer (detail / hgweb)
  5. tweaked Vampire's options + tuning (detail / hgweb)
  6. more robust Isabelle_System.init (amending c0bc99aad936): avoid non-termination on Windows (java.lang.StackOverflowError); (detail / hgweb)
  7. back to more modest (but uniform) Java stack, see 97fc4f657bda; (detail / hgweb)
  8. more generous Java memory, also hoping to prevent spurious java.lang.StackOverflowError in isabelle_cronjob; (detail / hgweb)
  9. added lemmas (detail / hgweb)

Started by an SCM change

This run spent:

  • 6.3 sec waiting;
  • 5 hr 0 min build duration;
  • 5 hr 0 min total from scheduled to completion.
Revision: 54d4bfa48025fe6f9f1707da0b4463da519520b3