Started 4 mo 1 day ago
Took 3 hr 19 min on master

Failed Build #10 (Jan 13, 2021 10:48:08 AM)

Changes
  1. merge optimized RBT_Impl (detail / hgweb)
  2. CSP_RefTK: adjust for Isabelle 1105c42722dc (detail / hgweb)
  3. merge from afp-2020 (detail / hgweb)
  4. sitegen for CSP_RefTK (detail / hgweb)
  5. New submission: CSP_RefTK (detail / hgweb)
  6. webpage for Delta_System_Lemma (detail / hgweb)
  7. New (ZF!) entry Delta_System_Lemma (detail / hgweb)
  8. sitegen and metadata (detail / hgweb)
  9. new entry: Topological_Semantics (detail / hgweb)
  10. Algebraic_Numbers: some material on algebraic integers (detail / hgweb)
  11. merged (detail / hgweb)
  12. tuned -- avoid old-style verbatim text; (detail / hgweb)
  13. isabelle update_cartouches; (detail / hgweb)
  14. A bit of tidying (detail / hgweb)
  15. merge (detail / hgweb)
  16. reform (detail / hgweb)
  17. added code-post lemma for algebraic numbers (detail / hgweb)
  18. moved lemmas such that algebraic numbers theory is not importing factorization algorithm (detail / hgweb)
  19. moved lemmas (detail / hgweb)
  20. proper indentation (detail / hgweb)
  21. cleanup (detail / hgweb)
  22. merged (detail / hgweb)
  23. Update ConcurrentGC (detail / hgweb)
  24. Update ConcurrentIMP (detail / hgweb)
  25. adapted to isabelle-dev/74be162a47cd: added some renamings that were missed before (detail / hgweb)
  26. adapted to isabelle-dev/74be162a47cd (detail / hgweb)

Started by an SCM change

This run spent:

  • 5.7 sec waiting;
  • 3 hr 19 min build duration;
  • 3 hr 19 min total from scheduled to completion.
Revision: ab11d512034650dfe402f333c7b5bc1420ae12df
Resume build
SRJobBuild #DurationConsole
main
afp_testboard-afpbuild #10( 1 hr 34 min )Console Output