Skip to content
Started 8 yr 0 mo ago
Took 1 hr 7 min on built-in
Success

#277 (Jun 23, 2016, 11:47:11 PM)

Changes
  1. merged (detail / hgweb)
  2. tuned signature (see Isabelle/4eaf35781b23); (detail / hgweb)

Started by an SCM change

Revision: 696cfa14d0906c2e8e1071df900022d31441b1b0
SRJobBuild #DurationConsole
main
afp-repo-afpbuild #277( 1 hr 7 min )Console Output