Skip to content
[Jenkins]Jenkins
log in
Started 7 yr 10 mo ago
Took 1 hr 0 min on built-in
Failed

#364 (Aug 10, 2016, 11:15:04 PM)

Changes
  1. simplified theory hierarchy; (detail / hgweb)
  2. misc tuning and modernization; (detail / hgweb)
  3. misc tuning and modernization; (detail / hgweb)
  4. misc tuning and modernization; (detail / hgweb)

Started by an SCM change

Revision: d31650b377c45f6fde70b949569a72564b49ea1c
Resume build
SRJobBuild #DurationConsole
main
isabelle-repo-makeallbuild #364( 1 hr 0 min )Console Output
isabelle-repo-afpbuild #364( 1 min 42 sec )Console Output