Skip to content
[Jenkins]Jenkins
log in
Started 8 yr 4 mo ago
Took 57 min on built-in
Failed

#53 (Mar 1, 2016, 10:35:10 AM)

Changes
  1. missing file; (detail / hgweb)

Started by an SCM change

Revision: f2e8984adef7a8ac9a0dfa96cfd6d828a6770b06
Resume build
SRJobBuild #DurationConsole
main
isabelle-repo-afpbuild #53( 1 min 25 sec )Console Output
isabelle-repo-makeallbuild #53( 57 min )Console Output