Skip to content
Started 6 yr 1 mo ago
Took 1 hr 49 min on built-in
Success

#1671 (May 20, 2018, 10:49:03 PM)

Changes
  1. avoid undeclared frees; (detail / hgweb)
  2. removed junk; (detail / hgweb)
  3. avoid dangling tfrees; (detail / hgweb)
  4. standardize implicit variables: non-zero indexes do occur occasionally, e.g. via RS; (detail / hgweb)
  5. tuned signature; (detail / hgweb)
  6. avoid undeclared frees; (detail / hgweb)
  7. export facts; (detail / hgweb)
  8. clarified encoding; (detail / hgweb)
  9. more scalable; (detail / hgweb)
  10. tuned output; (detail / hgweb)
  11. more scalable; (detail / hgweb)
  12. tuned; (detail / hgweb)
  13. support HTTPS; (detail / hgweb)
  14. updated to scala-2.12.6; (detail / hgweb)
  15. prefer HTTPS; (detail / hgweb)

Started by an SCM change

This run spent:

  • 5 min 0 sec waiting;
  • 1 hr 49 min build duration;
  • 1 hr 54 min total from scheduled to completion.
Revision: eb57621568bb001175ffaa5e160e92fd89e3e6ac
SRJobBuild #DurationConsole
main
isabelle-repo-makeallbuild #1671( 59 min )Console Output
isabelle-repo-afpbuild #1671( 1 hr 48 min )Console Output