Skip to content
Started 8 yr 3 mo ago
Took 2 hr 21 min on built-in
Failed

#101 (Mar 4, 2016, 3:17:09 PM)

Changes
  1. compile with isabelle/922e702ae8ca (detail / hgweb)

Started by an SCM change

Revision: 1df8ee482d1be6f58dc03e22d351b55600848ace
Resume build
SRJobBuild #DurationConsole
main
afp-repo-afpbuild #101( 2 hr 21 min )Console Output