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

#399 (Sep 5, 2016, 4:56:45 PM)

Changes
  1. adapted to Isabelle/e68a0b651eb5 (detail / hgweb)

Started by an SCM change

Revision: ee3224db312100e759a5451252697c0aa45bd975
Resume build
SRJobBuild #DurationConsole
main
afp-repo-afpbuild #399( 1 hr 16 min )Console Output