Skip to content
[Jenkins]Jenkins
log in
Started 8 yr 3 mo ago
Took 3 hr 37 min on built-in
Failed

#107 (Mar 24, 2016, 3:29:10 PM)

Changes
  1. proper SHA1 digest as annex to heap file: Poly/ML reads precise segment length; (detail / hgweb)
  2. more operations; (detail / hgweb)
  3. tuned signature; (detail / hgweb)

Started by an SCM change

Revision: 478b49f0d7265ac0e472cc7c8b7f8d59d90d5975
Resume build
SRJobBuild #DurationConsole
main
isabelle-repo-makeallbuild #107( 1 hr 1 min )Console Output
isabelle-repo-afpbuild #107( 3 hr 37 min )Console Output